Tags

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

debian/4.2.1-1

6f791941 · Prepare for upload · Feb 15, 2025
```
debian/4.2.1-1
```
Unverified
upstream/4.2.1

84008569 · New upstream version 4.2.1 · Jan 27, 2025
```
Upstream version 4.2.1
```
debian/4.2.0-1

d70b2c5c · Prepare for upload · Nov 20, 2024
```
debian/4.2.0-1
```
Unverified
upstream/4.2.0

63829ac5 · New upstream version 4.2.0 · Aug 26, 2024
```
Upstream version 4.2.0
```

archive/debian/4.1.4-2

c329414f · Declare fast forward from 4.1.4-1 · Aug 04, 2024

flocq release 4.1.4-2 for unstable (sid) [dgit]

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

7ec9665a · Prepare upload to unstable · Aug 04, 2024

flocq release 4.1.4-2 for unstable (sid)

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

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

debian/4.1.4-1

84e322d3 · Prepare for upload · Feb 24, 2024
```
debian/4.1.4-1
```
Unverified
upstream/4.1.4

6c373f05 · New upstream version 4.1.4 · Feb 09, 2024
```
Upstream version 4.1.4
```
debian/4.1.3-1

20d948c5 · Prepare for upload · Dec 21, 2023
```
debian/4.1.3-1
```
Unverified
upstream/4.1.3

cfe12bd2 · New upstream version 4.1.3 · Sep 27, 2023
```
Upstream version 4.1.3
```
debian/4.1.1-1

f43419d8 · Prepare for upload · Jun 12, 2023
```
debian/4.1.1-1
```
Unverified
upstream/4.1.1

b7bab9ea · New upstream version 4.1.1 · Jun 08, 2023
```
Upstream version 4.1.1
```
debian/4.1.0-3

41210e04 · Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. · Jan 25, 2023
```
debian/4.1.0-3
```
Unverified
debian/4.1.0-2

a8a33dd3 · Simplify autopkgtest · Jul 16, 2022
```
debian/4.1.0-2
```
Unverified
debian/4.1.0-1

662d3f19 · Initial packaging · Jun 29, 2022
```
debian/4.1.0-1
```
Unverified
upstream/4.1.0

98e86fd1 · New upstream version 4.1.0 · Jun 29, 2022
```
Upstream version 4.1.0
```