Bug#1112978: gringo team upload

Ralf Treinen treinen at debian.org
Fri Oct 3 04:54:01 BST 2025

Previous message (by thread): Processed: texmacs: Depends on obsolete gnome-icon-theme
Next message (by thread): Processing of parallel-hashmap_1.4.1+ds-3_source.changes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hello,

A team upload of gringo 5.8.0-1 which fixes FTBFS bug #1112978 is
sitting in git (master branch). I will upload this to unstable by
October 12 unless there are any objections.

-Ralf.

Previous message (by thread): Processed: texmacs: Depends on obsolete gnome-icon-theme
Next message (by thread): Processing of parallel-hashmap_1.4.1+ds-3_source.changes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the debian-science-maintainers mailing list