Index of /ubuntu/archive/pool/universe/f/flocq
Name
Last modified
Size
Description
Parent Directory
-
flocq_4.1.0-3build2.debian.tar.xz
16-Feb-2023 13:50
1.6K
flocq_4.1.0-3build2.dsc
16-Feb-2023 13:50
2.0K
flocq_4.1.0.orig.tar.bz2
29-Jun-2022 19:34
325K
flocq_4.1.1-1build1.debian.tar.xz
26-Jul-2023 01:19
1.6K
flocq_4.1.1-1build1.dsc
26-Jul-2023 01:19
2.0K
flocq_4.1.1.orig.tar.bz2
13-Jun-2023 01:30
325K
flocq_4.1.3-1build4.debian.tar.xz
08-Apr-2024 03:57
2.0K
flocq_4.1.3-1build4.dsc
08-Apr-2024 03:57
2.0K
flocq_4.1.3.orig.tar.bz2
22-Dec-2023 12:26
326K
flocq_4.1.4-1build1.debian.tar.xz
13-May-2024 14:39
1.8K
flocq_4.1.4-1build1.dsc
13-May-2024 14:39
2.0K
flocq_4.1.4-1build2.debian.tar.xz
15-Jun-2024 10:43
1.8K
flocq_4.1.4-1build2.dsc
15-Jun-2024 10:43
2.0K
flocq_4.1.4.orig.tar.bz2
02-May-2024 21:54
326K
libcoq-flocq_4.1.0-3build2_amd64.deb
16-Feb-2023 13:50
3.6M
libcoq-flocq_4.1.1-1build1_amd64.deb
26-Jul-2023 02:22
3.6M
libcoq-flocq_4.1.3-1build4_amd64.deb
08-Apr-2024 03:57
3.6M
libcoq-flocq_4.1.4-1build1_amd64.deb
13-May-2024 14:40
3.8M
libcoq-flocq_4.1.4-1build2_amd64.deb
15-Jun-2024 11:23
3.7M
Apache/2.2.15 (CentOS) Server at mirror.cs.pitt.edu Port 443