Triple - Together we Inspire
News
About us
Contact
Careers
/archive/ubuntu/pool/universe/f/flocq/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
libcoq-flocq_4.1.4-1build2_amd64.deb
3899290
2024-Jun-15 15:23
flocq_4.1.4-1build2.dsc
2020
2024-Jun-15 14:43
flocq_4.1.4-1build2.debian.tar.xz
1868
2024-Jun-15 14:43
libcoq-flocq_4.1.4-1build1_amd64.deb
4021906
2024-May-13 18:40
flocq_4.1.4-1build1.dsc
2020
2024-May-13 18:39
flocq_4.1.4-1build1.debian.tar.xz
1856
2024-May-13 18:39
flocq_4.1.4.orig.tar.bz2
333601
2024-May-03 01:54
libcoq-flocq_4.1.3-1build4_amd64.deb
3766130
2024-Apr-08 07:57
flocq_4.1.3-1build4.debian.tar.xz
2008
2024-Apr-08 07:57
flocq_4.1.3-1build4.dsc
2099
2024-Apr-08 07:57
flocq_4.1.3.orig.tar.bz2
333474
2023-Dec-22 17:26
libcoq-flocq_4.1.1-1build1_amd64.deb
3783266
2023-Jul-26 06:22
flocq_4.1.1-1build1.debian.tar.xz
1660
2023-Jul-26 05:19
flocq_4.1.1-1build1.dsc
2020
2023-Jul-26 05:19
flocq_4.1.1.orig.tar.bz2
332909
2023-Jun-13 05:30
libcoq-flocq_4.1.0-3build2_amd64.deb
3784672
2023-Feb-16 18:50
flocq_4.1.0-3build2.debian.tar.xz
1624
2023-Feb-16 18:50
flocq_4.1.0-3build2.dsc
2020
2023-Feb-16 18:50
flocq_4.1.0.orig.tar.bz2
333149
2022-Jun-29 23:34