Skip to content

GitLab

Explore

Sign in
Register

Tags

Tags give the ability to mark specific points in history as being important

debian/4.5.0-1

1d31defe · Update changelog · Jul 11, 2015
```
gringo Debian release 4.5.0-1
```
upstream/4.5.0

85f46b9e · Imported Upstream version 4.5.0 · Jul 11, 2015
```
Upstream version 4.5.0
```
debian/4.4.0-1

eec90a22 · New upstream release. · Aug 18, 2014
```
gringo Debian release 4.4.0-1
```
upstream/4.4.0

612570a2 · Imported Upstream version 4.4.0 · Aug 18, 2014
```
Upstream version 4.4.0
```
debian/4.3.0-2

985685c3 · Bug fix: "non-standard gcc/g++ used for build (gcc-4.8)", thanks to Matthias... · Jun 12, 2014
debian/4.3.0-1

ec47f73f · New upstream release. · Feb 26, 2014
debian/2.4.1-4

af7a7042 · add ppc64el to architecture list for libtbb-dev to fix FTBFS · Jan 12, 2014
debian/4.2.1-3

2a174a45 · Add Breaks: aspcud · Dec 19, 2013
debian/4.2.1-2

1330c2b8 · Fix FTBFS on ia64, sparc, and powerpc. · Dec 17, 2013
debian/4.2.1-1

90927d0d · New upstream release. · Dec 16, 2013
debian/3.0.5-1

cdb3cccc · Build-Depends on debhelper >= 9. · May 21, 2013
debian/3.0.4-4

1e6fb0b2 · Apply upstream patches for fixing potassco bugs 75 and 76. · Nov 22, 2012
debian/3.0.4-3

c9bca287 · Bugfix for #672933. · May 23, 2012
debian/3.0.4-2

4f811237 · Bump Standards-Version to 3.9.3. · Apr 10, 2012
debian/3.0.4-1

4e966cc8 · New upstream release. · Jan 26, 2012
debian/3.0.3-7

83f10a44 · Fix bug #652787. · Dec 25, 2011
debian/3.0.3-6

12a048c5 · Get rid off makefile patch. · Sep 05, 2011

Prev
1
2
3
4
Next