Tags

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

debian/2.1-4

eb0dbee2 · Include deprecated modules · Nov 25, 2024
```
agda-stdlib Debian release 2.1-4
```
Unverified
debian/2.1-3

b439ea2b · Remove Iain Lane from uploaders · Oct 24, 2024
```
agda-stdlib Debian release 2.1-3
```
debian/2.1-2

07d5e3dc · Install build artifacts under '/usr/share/agda-stdlib/_build/' · Oct 23, 2024
```
agda-stdlib Debian release 2.1-2
```
debian/2.1-1

0a30182c · Use Agda's new library management system · Oct 19, 2024
```
agda-stdlib Debian release 2.1-1
```
upstream/2.1

d78f0baf · New upstream version 2.1 · Oct 18, 2024
```
Upstream version 2.1
```
debian/1.7.3-1

8497a5bd · Update changelog for 1.7.3-1 release · Nov 04, 2023
```
agda-stdlib Debian release 1.7.3-1
```
Unverified
upstream/1.7.3

2488331a · New upstream version 1.7.3 · Nov 04, 2023
```
Upstream version 1.7.3
```
debian/1.7.1-1

64824f72 · Update changelog for 1.7.1-1 release · Aug 06, 2022
```
agda-stdlib Debian release 1.7.1-1
```
upstream/1.7.1

6e3f4add · New upstream version 1.7.1 · Aug 06, 2022
```
Upstream version 1.7.1
```
debian/1.3-2

1fab77c8 · Bump std-version to 4.5.0 · Aug 01, 2020
```
agda-stdlib Debian release 1.3-2
```
upstream/1.3

73ef6a82 · New upstream version 1.3 · Jul 31, 2020
```
Upstream version 1.3
```
debian/1.1-1

01b602fc · Update changelog, upload to unstable · Sep 04, 2019
```
agda-stdlib Debian release 1.1-1
```
upstream/1.1

78b7661f · New upstream version 1.1 · Sep 04, 2019
```
Upstream version 1.1
```

archive/debian/0.17-1

5aa1c0b7 · finalise changelog for 0.17-1 upload · Nov 23, 2018

agda-stdlib release 0.17-1 for unstable (sid) [dgit]
[dgit distro=debian --deliberately-not-fast-forward]

5aa1c0b7 · finalise changelog for 0.17-1 upload · Nov 23, 2018

agda-stdlib release 0.17-1 for unstable (sid) [dgit]
[dgit distro=debian --deliberately-not-fast-forward]

upstream/0.17

a19b25a8 · New upstream version 0.17 · Nov 23, 2018
```
Upstream version 0.17
```
Unverified
debian/0.14-1

5d2b1563 · Upload to unstable, update changelog · Nov 26, 2017
```
agda-stdlib Debian release 0.14-1
```
upstream/0.14

0b394699 · New upstream version 0.14 · Nov 26, 2017
```
Upstream version 0.14
```
debian/0.13-1

36ed1da8 · Team upload to unstable · Jul 06, 2017
```
agda-stdlib Debian release 0.13-1
```
upstream/0.13

c7745ec5 · New upstream version 0.13 · Jul 06, 2017
```
Upstream version 0.13
```

Prev
1
2
3
Next