[ubuntu/noble-updates] gap 4.12.1-2 (Accepted)

[Ubuntu Archive Robot]

gap (4.12.1-2) unstable; urgency=medium

  * New patch:
    - gaptime-hurd: fix timer on hurd
  * debian/control, debian/copyright, README.Debian,
    debian/doc/gap-policy.sgml, debian/doc/gac.1:
    - use https instead of http.
  * debian/control:
    - gap: Update Recommends and Suggests list to reflect available
      GAP packages.
  * debian/rules: 
    - remove obsolete --with-gmp=system
    - do not install /usr/include/gap/config.h and gap/config-arch.h

Date: 2022-11-05 22:28:20.689772+00:00
Signed-By: Ubuntu Archive Robot <ubuntu-archive-robot at lists.canonical.com>
https://launchpad.net/ubuntu/+source/gap/4.12.1-2
-------------- next part --------------
Sorry, changesfile not available.