summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Thomas Krennwallner [Tue, 20 Dec 2016 04:10:36 +0000 (04:10 +0000)]
gringo (5.1.0-4) unstable; urgency=medium
* fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
_FPU_GETCW and friends are undefined on this arch
[dgit import unpatched gringo 5.1.0-4]
Thomas Krennwallner [Tue, 20 Dec 2016 04:10:36 +0000 (04:10 +0000)]
Import gringo_5.1.0-4.debian.tar.xz
[dgit import tarball gringo 5.1.0-4 gringo_5.1.0-4.debian.tar.xz]
Thomas Krennwallner [Sun, 11 Dec 2016 12:12:35 +0000 (12:12 +0000)]
Import gringo_5.1.0.orig.tar.gz
[dgit import orig gringo_5.1.0.orig.tar.gz]
projects / gringo.git / log