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 >=2.1.5", thanks to
    spwhitton@spwhitton.name; (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}:
    /<<PKGBUILDDIR>>/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

# For older changelog entries, run 'apt-get changelog fricas'
