dgit.raspbian.org Git - gringo.git/shortlog

2022-11-19	Lukas Märdian	Fix 'catch' & 'catch2' compatibility with glibc-2.34	commit \| commitdiff \| tree \| snapshot
2022-11-19	Thomas Krennwallner	bump CLINGO_VERSION to 5.4.1	commit \| commitdiff \| tree \| snapshot
2022-11-19	Thomas Krennwallner	link with libatomic on architectures that require it	commit \| commitdiff \| tree \| snapshot
2022-11-19	Thomas Krennwallner	Fix testsuite for python3 when reading utf-8 scripts	commit \| commitdiff \| tree \| snapshot
2022-11-19	Thomas Krennwallner	Add gringo.1, clingo.1, lpconvert.1, and reify.1 manpages	commit \| commitdiff \| tree \| snapshot
2022-11-19	Adrian Bunk	gringo (5.4.1-3.1) unstable; urgency=low	commit \| commitdiff \| tree \| snapshot
2022-11-19	Adrian Bunk	Import gringo_5.4.1-3.1.debian.tar.xz	commit \| commitdiff \| tree \| snapshot
2020-12-27	Thomas Krennwallner	Import gringo_5.4.1.orig.tar.gz	commit \| commitdiff \| tree \| snapshot

Unnamed repository; edit this file 'description' to name the repository.