Tags

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

debian/8.15.1-3

0a157386 · Prepare for upload · Apr 17, 2022
```
debian/8.15.1-3
```
Unverified
debian/8.15.1-2

a92e27d6 · Source-only upload for testing migration · Apr 13, 2022
```
debian/8.15.1-2
```
Unverified
debian/8.15.1-1

ec5a66f1 · Prepare for upload to unstable · Apr 03, 2022
```
debian/8.15.1-1
```
Unverified
upstream/8.15.1

82259e1b · New upstream version 8.15.1 · Apr 03, 2022
```
Upstream version 8.15.1
```
debian/8.15.0-1

84cac796 · Import Debian changes 8.15.0-1 · Apr 03, 2022
```
Debian release 8.15.0-1
```
upstream/8.15.0

b8cb2e0a · Import Upstream version 8.15.0 · Apr 03, 2022
```
Upstream version 8.15.0
```
debian/8.11.0-1

8833a0ea · upload to sid · Mar 17, 2020
```
aac-tactics Debian release 8.11.0-1
```
upstream/8.11.0

d8d12be1 · New upstream version 8.11.0 · Mar 15, 2020
```
Upstream version 8.11.0
```
archive/debian/8.9.0-1

1cd48ecc · Declare fast forward from 8.8.0+1.gbp069dc3b-1 · Feb 02, 2020
```
aac-tactics release 8.9.0-1 for unstable (sid) [dgit]

[dgit distro=debian split --quilt=gbp]
```
Unverified

7d857a17 · Remove debian/source/local-options · Feb 02, 2020

aac-tactics release 8.9.0-1 for unstable (sid)

(maintainer view tag generated by dgit --quilt=gbp)

[dgit distro=debian split --quilt=gbp]

upstream/8.9.0

06bd378e · New upstream version 8.9.0 · Feb 02, 2020
```
Upstream version 8.9.0
```
debian/8.8.0+1.gbp069dc3b-1

a4e3df30 · Release for unstable · Feb 17, 2019
```
aac-tactics Debian release 8.8.0+1.gbp069dc3b-1
```
Unverified
upstream/8.8.0+1.gbp069dc3b

8018e923 · New upstream version 8.8.0+1.gbp069dc3b · Feb 13, 2019
```
Upstream version 8.8.0+1.gbp069dc3b
```
debian/8.6.1-2

4f8ae900 · Recompile with OCaml 4.05.0 · Oct 09, 2017
```
aac-tactics Debian release 8.6.1-2
```
Unverified
debian/8.5.1-1

017a43a2 · Upload to unstable · Aug 01, 2016
```
aac-tactics Debian release 8.5.1-1
```
Unverified
debian/0.4-5

12c05cd7 · Recompile with OCaml 4.02.3 · Oct 14, 2015
```
aac-tactics Debian release 0.4-5
```
Unverified
debian/0.4-4

fa26ac90 · Update changelog and prepare upload to unstable · Aug 10, 2015
```
aac-tactics Debian release 0.4-4
```
Unverified
debian/0.4-3

d7d98d10 · Recompile with coq 8.4pl4 · Jul 30, 2014
```
Debian release 0.4-3
```
Unverified
debian/0.4-2

09c08cc6 · Update changelog and prepare upload to unstable · Jan 20, 2014
```
aac-tactics Debian release 0.4-2
```
Unverified
debian/0.4-1

b1503773 · Prepare upload to unstable · Dec 05, 2013
```
aac-tactics Debian release 0.4-1
```
Unverified

Prev
1
2
3
Next