ubuntu/ubuntu/pool/universe/p/paramcoq • Public Open Source Mirror

Home / ubuntu / pool / universe / p / paramcoq

File Name

Size

Date

..

—

—
libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb

126.78KB

2024-04-01 09:51:32

libcoq-paramcoq_1.1.3+coq8.19-2build2_amd64.deb

121.05KB

2024-09-07 18:44:00

libcoq-paramcoq_1.1.3+coq8.20-1_amd64.deb

120.79KB

2024-11-21 01:31:47

paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz

3.17KB

2024-04-01 08:43:08

paramcoq_1.1.3+coq8.18-1build2.dsc

2.14KB

2024-04-01 08:43:08

paramcoq_1.1.3+coq8.18.orig.tar.gz

44.69KB

2023-12-22 19:26:53

paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz

3.24KB

2024-09-07 18:43:55

paramcoq_1.1.3+coq8.19-2build2.dsc

2.06KB

2024-09-07 18:43:55

paramcoq_1.1.3+coq8.19.orig.tar.gz

44.81KB

2024-05-03 04:49:49

paramcoq_1.1.3+coq8.20-1.debian.tar.xz

3.11KB

2024-11-20 20:47:20

paramcoq_1.1.3+coq8.20-1.dsc

2.06KB

2024-11-20 20:47:20

paramcoq_1.1.3+coq8.20.orig.tar.gz

44.74KB

2024-11-20 20:47:20