Welcome to Capital Online Mirror Site

/ubuntu-security/ubuntu/pool/universe/c/coq-unicoq/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-unicoq_1.6-8.16-2build2.dsc	2.0 KiB	2023-Feb-17 02:50
coq-unicoq_1.6-8.17-1build1.dsc	2.0 KiB	2023-Jul-26 13:19
coq-unicoq_1.6-8.18-1.dsc	2.0 KiB	2023-Dec-23 01:26
coq-unicoq_1.6-8.18-1build3.dsc	2.1 KiB	2024-Apr-08 15:57
coq-unicoq_1.6-8.18-1build1.dsc	2.2 KiB	2024-Mar-24 08:53
coq-unicoq_1.6-8.16-2build2.debian.tar.xz	2.4 KiB	2023-Feb-17 02:50
coq-unicoq_1.6-8.17-1build1.debian.tar.xz	2.5 KiB	2023-Jul-26 13:19
coq-unicoq_1.6-8.18-1.debian.tar.xz	2.5 KiB	2023-Dec-23 01:26
coq-unicoq_1.6-8.18-1build1.debian.tar.xz	2.6 KiB	2024-Mar-24 08:53
coq-unicoq_1.6-8.18-1build3.debian.tar.xz	2.7 KiB	2024-Apr-08 15:57
libcoq-unicoq_1.6-8.16-2build2_amd64.deb	83.6 KiB	2023-Feb-17 02:50
libcoq-unicoq_1.6-8.17-1build1_amd64.deb	84.7 KiB	2023-Jul-26 14:22
libcoq-unicoq_1.6-8.18-1build3_amd64.deb	85.5 KiB	2024-Apr-08 15:57
libcoq-unicoq_1.6-8.18-1_amd64.deb	98.7 KiB	2023-Dec-23 06:01
coq-unicoq_1.6-8.16.orig.tar.gz	579.6 KiB	2022-Nov-06 11:17
coq-unicoq_1.6-8.17.orig.tar.gz	579.7 KiB	2023-Jun-13 13:30
coq-unicoq_1.6-8.18.orig.tar.gz	579.7 KiB	2023-Dec-23 01:26