Skip to content

GitLab

Explore

Sign in
Register

Tags

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

debian/0.8.3-1

88b2248a · Update changelog. · Nov 03, 2013
```
polybori Debian release 0.8.3-1
```
debian/0.8.3-1_exp2

d120aa10 · Removed superfluous (and wrong) Dollar sign from .pc files · Apr 08, 2013
```
Debian release 0.8.3-1~exp2
```
debian/0.8.3-1_exp1

dd65a7b3 · Remove libm4ri from explicit dependency of libpolybori-groebner · Feb 15, 2013
```
Debian release 0.8.3-1~exp1
```
upstream/0.8.3

e799bb72 · Merge ../polybori.upstream into upstream · Jan 30, 2013
upstream/0.8.3_rc2

23240958 · Avoids possibly undefined variable key · Jan 28, 2013
upstream/0.8.3_rc1

448d6440 · Removed unnessary (and possibly invalid) dependency · Jan 23, 2013
upstream/0.8.3rc1

448d6440 · Removed unnessary (and possibly invalid) dependency · Jan 23, 2013
upstream/0.8.3rc0

341c9e98 · race condition again... · Jan 22, 2013
upstream/0.8.2

ed3a7729 · Imported Upstream version 0.8.2 · Dec 16, 2012
```
Upstream version 0.8.2
```
upstream/0.8

ed3a7729 · Imported Upstream version 0.8.2 · Dec 16, 2012
debian/0.5_rc1-2.1

0dc4dc89 · Imported Debian patch 0.5~rc1-2.1 · Aug 09, 2011
```
Debian release 0.5~rc1-2.1
```
upstream/0.5_rc1

caa687ea · Imported Upstream version 0.5~rc1 · Aug 09, 2011
```
Upstream version 0.5~rc1
```

Prev
1
2
3
Next