fricas (1.3.13-1) unstable; urgency=medium

  * New upstream release.

 -- Camm Maguire <camm@debian.org>  Mon, 08 Jun 2026 08:18:36 -0400

fricas (1.3.12-2) unstable; urgency=medium

  * sidestep_init_config

 -- Camm Maguire <camm@barriere.debian.org>  Thu, 12 Feb 2026 22:10:55 +0000

fricas (1.3.12-1) unstable; urgency=medium

  * New upstream release.

 -- Camm Maguire <camm@barriere.debian.org>  Wed, 11 Feb 2026 18:10:50 +0000

fricas (1.3.11-5) unstable; urgency=medium

  * Bug fix: "FTBFS: spadbuf.c:202:11: error: conflicting types for
    &#39;fopen&#39;; have &#39;FILE *(void)&#39;", thanks to Santiago Vila
    (Closes: #1114109).

 -- Camm Maguire <camm@debian.org>  Sun, 21 Sep 2025 16:15:35 -0400

fricas (1.3.11-4) unstable; urgency=medium

  * build-dep latest gcl

 -- Camm Maguire <camm@debian.org>  Tue, 13 May 2025 11:58:25 -0400

fricas (1.3.11-3) unstable; urgency=medium

  * build-dep on gcl27

 -- Camm Maguire <camm@debian.org>  Sat, 26 Apr 2025 19:24:47 -0400

fricas (1.3.11-2) unstable; urgency=medium

  * Bug fix: "needs rebuild against dh-elpa &gt;=2.1.5", thanks to
    spwhitton@spwhitton.name</a>; (Closes: #1077104).

 -- Camm Maguire <camm@debian.org>  Sun, 28 Jul 2024 12:02:53 -0400

fricas (1.3.11-1) unstable; urgency=medium

  * New upstream release.

 -- Camm Maguire <camm@debian.org>  Sun, 30 Jun 2024 09:39:48 -0400

fricas (1.3.10-2) unstable; urgency=medium

  * Bug fix: "FTBFS on arm{el,hf}:
    /&lt;&lt;PKGBUILDDIR&gt;&gt;/src/lisp/fricas-lisp.c:1750:10: error:
    implicit declaration of function ‘sock_get_string_buf’; did you mean
    ‘sock_send_string_len’? [-Werror=implicit-function-declaration]",
    thanks to Sebastian Ramacher (Closes: #1068210).

 -- Camm Maguire <camm@debian.org>  Tue, 09 Apr 2024 11:02:50 -0400

fricas (1.3.10-1) unstable; urgency=medium

  * New upstream release.

 -- Camm Maguire <camm@debian.org>  Mon, 05 Feb 2024 10:49:29 -0500

fricas (1.3.8-8) unstable; urgency=medium

  * rewrite strcpy lines in sockio-c.c to work around fortify object size
    detection bug.  As previously written, size available in pad was
    incorrectly calculated as 14.

 -- Camm Maguire <camm@debian.org>  Sun, 11 Jun 2023 11:51:01 -0400

fricas (1.3.8-7) unstable; urgency=medium

  * Build depend on libxpm-dev, xvfb in place of libx11-dev.
  * Bug fix: "viewman and hypertex are not present in packages", thanks to
    Uwe Krüger (Closes: #1037181).

 -- Camm Maguire <camm@debian.org>  Thu, 08 Jun 2023 10:04:06 -0400

fricas (1.3.8-6) unstable; urgency=medium

  * build-dep latest gcl

 -- Camm Maguire <camm@debian.org>  Sun, 08 Jan 2023 17:12:49 -0500

fricas (1.3.8-5) unstable; urgency=medium

  * build-dep latest gcl

 -- Camm Maguire <camm@debian.org>  Sun, 25 Dec 2022 18:13:05 -0500

fricas (1.3.8-4) unstable; urgency=medium

  * fix build dependencies

 -- Camm Maguire <camm@debian.org>  Thu, 22 Dec 2022 20:01:31 -0500

fricas (1.3.8-3) unstable; urgency=medium

  * build-dep latest gcl

 -- Camm Maguire <camm@debian.org>  Wed, 21 Dec 2022 14:51:28 -0500

fricas (1.3.8-2) unstable; urgency=medium

  * build-dep latest gcl
  * prune build-deps

 -- Camm Maguire <camm@debian.org>  Wed, 21 Dec 2022 13:00:31 -0500

fricas (1.3.8-1) unstable; urgency=medium

  * New upstream release.

 -- Camm Maguire <camm@debian.org>  Sun, 03 Jul 2022 17:45:02 +0000

fricas (1.3.7-5) unstable; urgency=medium

  * autoupdate
  * dh_autoreconf

 -- Camm Maguire <camm@debian.org>  Wed, 26 Jan 2022 14:13:04 -0500

fricas (1.3.7-4) unstable; urgency=medium

  * rebuild against latest gcl
  * Bug fix: "libc6 2.33 bug causes assert; patch is upstream", thanks to
    Валерий Заподовников (Closes: #1004119).

 -- Camm Maguire <camm@debian.org>  Wed, 26 Jan 2022 10:38:35 -0500

fricas (1.3.7-3) unstable; urgency=medium

  * release once more to capture an additional unreproducible armhf log
    error

 -- Camm Maguire <camm@debian.org>  Sun, 26 Sep 2021 12:46:45 +0000

fricas (1.3.7-2) unstable; urgency=medium

  * Source upload clearing migration issues

 -- Camm Maguire <camm@debian.org>  Sat, 04 Sep 2021 19:51:53 +0000

fricas (1.3.7-1) unstable; urgency=medium

  * New upstream release.

 -- Camm Maguire <camm@debian.org>  Thu, 01 Jul 2021 15:40:04 +0000

fricas (1.3.6-6) unstable; urgency=high

  * libx11-dev -> libxpm-dev in build depends
  * Bug fix: "fricas-{graphics,hypertex} are empty", thanks to Adrian Bunk
    (Closes: #987456).

 -- Camm Maguire <camm@debian.org>  Sat, 24 Apr 2021 13:23:44 +0000

fricas (1.3.6-5) unstable; urgency=medium

  * clean build-depends

 -- Camm Maguire <camm@debian.org>  Sat, 13 Feb 2021 01:48:46 +0000

fricas (1.3.6-4) unstable; urgency=medium

  * lintian cleanups

 -- Camm Maguire <camm@debian.org>  Fri, 12 Feb 2021 20:15:19 +0000

fricas (1.3.6-3) unstable; urgency=medium

  * build depend on latest gcl

 -- Camm Maguire <camm@debian.org>  Sat, 28 Nov 2020 16:08:44 +0000

fricas (1.3.6-2) unstable; urgency=medium

  * Source only upload

 -- Camm Maguire <camm@debian.org>  Sat, 28 Nov 2020 13:19:03 +0000

fricas (1.3.6-1) unstable; urgency=medium

  * Expand debian/copyright to include all contributions. (Thanks Thorsten
    Alteholz <ftpmaster@ftp-master.debian.org>)
  * Initial release
  * Closes: #890525

 -- Camm Maguire <camm@debian.org>  Fri, 02 Oct 2020 00:07:41 +0000
