ubuntu/ubuntu/pool/universe/c/coq-quickchick • Public Open Source Mirror

Home / ubuntu / pool / universe / c / coq-quickchick

File Name

Size

Date

..

—

—
coq-quickchick_2.0.2-1build5.debian.tar.xz

3.22KB

2024-04-08 10:57:38

coq-quickchick_2.0.2-1build5.dsc

2.30KB

2024-04-08 10:57:38

coq-quickchick_2.0.2.orig.tar.gz

405.88KB

2024-01-21 01:35:34

coq-quickchick_2.0.3-3build5.debian.tar.xz

2.94KB

2024-09-17 19:56:32

coq-quickchick_2.0.3-3build5.dsc

2.22KB

2024-09-17 19:56:32

coq-quickchick_2.0.3.orig.tar.gz

401.98KB

2024-05-02 14:53:14

coq-quickchick_2.0.5-1build1.debian.tar.xz

2.89KB

2024-12-20 16:16:36

coq-quickchick_2.0.5-1build1.dsc

2.22KB

2024-12-20 16:16:36

coq-quickchick_2.0.5.orig.tar.gz

403.34KB

2024-12-19 01:41:43

libcoq-quickchick_2.0.2-1build5_amd64.deb

1.86MB

2024-04-08 17:36:31

libcoq-quickchick_2.0.3-3build5_amd64.deb

4.34MB

2024-09-20 02:39:49

libcoq-quickchick_2.0.5-1build1_amd64.deb

4.32MB

2024-12-20 16:16:50

quickchick_2.0.2-1build5_amd64.deb

64.97KB

2024-04-08 17:36:31

quickchick_2.0.3-3build5_amd64.deb

517.15KB

2024-09-20 02:39:49

quickchick_2.0.5-1build1_amd64.deb

517.18KB

2024-12-20 16:16:50