Index of /pool/main/c/coq-gappa
Name
Last modified
Size
Parent Directory
-
libcoq-gappa_1.5.5-1+b1_i386.deb
2024-06-15 18:05
501K
libcoq-gappa_1.5.5-1+b1_arm64.deb
2024-06-15 18:05
508K
libcoq-gappa_1.5.5-1+b1_amd64.deb
2024-06-15 18:05
505K
libcoq-gappa_1.5.5-1_i386.deb
2024-04-29 00:03
501K
libcoq-gappa_1.5.5-1_arm64.deb
2024-04-29 00:03
507K
libcoq-gappa_1.5.5-1_amd64.deb
2024-04-29 00:03
504K
coq-gappa_1.5.5.orig.tar.bz2
2024-04-29 00:03
72K
coq-gappa_1.5.5-1.dsc
2024-04-29 00:03
2.0K
coq-gappa_1.5.5-1.debian.tar.xz
2024-04-29 00:03
2.2K
libcoq-gappa_1.5.4-1_i386.deb
2023-12-23 18:01
481K
libcoq-gappa_1.5.4-1_arm64.deb
2023-12-23 18:01
487K
libcoq-gappa_1.5.4-1_amd64.deb
2023-12-23 18:01
484K
coq-gappa_1.5.4.orig.tar.bz2
2023-12-23 18:01
72K
coq-gappa_1.5.4-1.dsc
2023-12-23 18:01
2.0K
coq-gappa_1.5.4-1.debian.tar.xz
2023-12-23 18:01
2.1K
libcoq-gappa_1.5.2-5+b1_i386.deb
2023-02-13 12:02
500K
libcoq-gappa_1.5.2-5+b1_arm64.deb
2023-02-13 12:02
506K
libcoq-gappa_1.5.2-5+b1_amd64.deb
2023-02-13 12:02
504K
coq-gappa_1.5.2-5.dsc
2023-01-26 18:02
2.0K
coq-gappa_1.5.2-5.debian.tar.xz
2023-01-26 18:02
2.0K
coq-gappa_1.5.2.orig.tar.bz2
2022-07-21 00:04
72K