Welcome to Capital Online Mirror Site

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

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

Powered By Capital Online Data Service LTD.  About US  Contact US