ubuntu/pool/universe/c/coqprime • Public Open Source Mirror

Home / ubuntu / pool / universe / c / coqprime

File Name

Size

Date

..

—

—
coqprime-tools_8.18-1build3_amd64.deb

174.99KB

2024-04-08 13:59:15

coqprime-tools_8.19-2build3_amd64.deb

180.21KB

2024-09-07 22:05:04

coqprime-tools_8.20.1-1build4_amd64.deb

183.13KB

2025-02-19 09:53:12

coqprime_8.18-1build3.debian.tar.xz

3.41KB

2024-04-08 10:57:39

coqprime_8.18-1build3.dsc

2.17KB

2024-04-08 10:57:39

coqprime_8.18.orig.tar.gz

973.21KB

2023-12-23 19:16:58

coqprime_8.19-2build3.debian.tar.xz

3.47KB

2024-09-07 22:04:32

coqprime_8.19-2build3.dsc

2.10KB

2024-09-07 22:04:32

coqprime_8.19.orig.tar.gz

973.21KB

2024-05-03 04:55:06

coqprime_8.20.1-1build4.debian.tar.xz

3.54KB

2025-02-19 09:52:11

coqprime_8.20.1-1build4.dsc

2.11KB

2025-02-19 09:52:11

coqprime_8.20.1.orig.tar.gz

973.20KB

2025-01-24 07:56:11

libcoq-coqprime_8.18-1build3_amd64.deb

1.93MB

2024-04-08 13:59:15

libcoq-coqprime_8.19-2build3_amd64.deb

1.98MB

2024-09-07 22:05:04

libcoq-coqprime_8.20.1-1build4_amd64.deb

1.96MB

2025-02-19 09:53:12