Home
/
ubuntu
/
pool
/
universe
/
c
/
coq-unicoq
File Name
Size
Date
..
—
—
coq-unicoq_1.6-8.16-2build2.debian.tar.xz
2.38KB
2023-02-16 20:50:17
coq-unicoq_1.6-8.16-2build2.dsc
2.03KB
2023-02-16 20:50:17
coq-unicoq_1.6-8.16.orig.tar.gz
579.63KB
2022-11-06 05:17:19
coq-unicoq_1.6-8.17-1build1.debian.tar.xz
2.50KB
2023-07-26 08:19:34
coq-unicoq_1.6-8.17-1build1.dsc
2.03KB
2023-07-26 08:19:34
coq-unicoq_1.6-8.17.orig.tar.gz
579.68KB
2023-06-13 08:30:06
coq-unicoq_1.6-8.18-1build3.debian.tar.xz
2.73KB
2024-04-08 10:57:40
coq-unicoq_1.6-8.18-1build3.dsc
2.12KB
2024-04-08 10:57:40
coq-unicoq_1.6-8.18.orig.tar.gz
579.72KB
2023-12-22 19:26:56
coq-unicoq_1.6-8.19-2.debian.tar.xz
2.61KB
2024-08-04 14:34:00
coq-unicoq_1.6-8.19-2.dsc
1.82KB
2024-08-04 14:34:00
coq-unicoq_1.6-8.19-2build1.debian.tar.xz
2.68KB
2024-08-15 10:47:15
coq-unicoq_1.6-8.19-2build1.dsc
2.04KB
2024-08-15 10:47:15
coq-unicoq_1.6-8.19.orig.tar.gz
579.76KB
2024-05-02 15:38:56
libcoq-unicoq_1.6-8.16-2build2_amd64.deb
83.58KB
2023-02-16 20:50:27
libcoq-unicoq_1.6-8.17-1build1_amd64.deb
84.71KB
2023-07-26 09:22:12
libcoq-unicoq_1.6-8.18-1build3_amd64.deb
85.53KB
2024-04-08 10:57:47
libcoq-unicoq_1.6-8.19-2_amd64.deb
87.26KB
2024-08-04 14:34:37
libcoq-unicoq_1.6-8.19-2build1_amd64.deb
91.13KB
2024-08-15 10:47:19
10" >