Welcome to Capital Online Mirror Site

/ubuntu-security/pool/universe/p/paramcoq/

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
paramcoq_1.1.3+coq8.16.orig.tar.gz	44.7 KiB	2022-Nov-06 11:01
paramcoq_1.1.3+coq8.16-3build2.dsc	2.1 KiB	2023-Feb-17 02:50
paramcoq_1.1.3+coq8.16-3build2.debian.tar.xz	2.9 KiB	2023-Feb-17 02:50
libcoq-paramcoq_1.1.3+coq8.16-3build2_amd64.deb	126.1 KiB	2023-Feb-17 02:50
paramcoq_1.1.3+coq8.17.orig.tar.gz	44.6 KiB	2023-Jun-13 13:30
paramcoq_1.1.3+coq8.17-2.debian.tar.xz	3.0 KiB	2023-Jul-26 01:54
paramcoq_1.1.3+coq8.17-2.dsc	2.1 KiB	2023-Jul-26 01:54
libcoq-paramcoq_1.1.3+coq8.17-2_amd64.deb	126.4 KiB	2023-Jul-26 02:49
paramcoq_1.1.3+coq8.18-1.debian.tar.xz	3.0 KiB	2023-Dec-23 01:26
paramcoq_1.1.3+coq8.18.orig.tar.gz	44.7 KiB	2023-Dec-23 01:26
paramcoq_1.1.3+coq8.18-1.dsc	2.1 KiB	2023-Dec-23 01:26
libcoq-paramcoq_1.1.3+coq8.18-1_amd64.deb	146.4 KiB	2023-Dec-23 08:12
paramcoq_1.1.3+coq8.18-1build1.dsc	2.2 KiB	2024-Mar-24 08:53
paramcoq_1.1.3+coq8.18-1build1.debian.tar.xz	3.1 KiB	2024-Mar-24 08:53
paramcoq_1.1.3+coq8.18-1build2.dsc	2.1 KiB	2024-Apr-01 13:43
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz	3.2 KiB	2024-Apr-01 13:43
libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb	126.8 KiB	2024-Apr-01 14:51

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