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

Home / ubuntu / pool / universe / c / coq-reduction-effects

File Name

Size

Date

..

—

—
coq-reduction-effects_0.1.5-1build3.debian.tar.xz

1.87KB

2024-04-08 10:57:41

coq-reduction-effects_0.1.5-1build3.dsc

2.24KB

2024-04-08 10:57:41

coq-reduction-effects_0.1.5-5build3.debian.tar.xz

1.97KB

2024-09-07 18:43:55

coq-reduction-effects_0.1.5-5build3.dsc

2.16KB

2024-09-07 18:43:55

coq-reduction-effects_0.1.5-5build7.debian.tar.xz

2.07KB

2025-02-18 23:25:08

coq-reduction-effects_0.1.5-5build7.dsc

2.16KB

2025-02-18 23:25:08

coq-reduction-effects_0.1.5.orig.tar.gz

10.13KB

2023-12-22 19:26:56

libcoq-reduction-effects_0.1.5-1build3_amd64.deb

14.18KB

2024-04-08 10:57:47

libcoq-reduction-effects_0.1.5-5build3_amd64.deb

15.51KB

2024-09-07 18:44:01

libcoq-reduction-effects_0.1.5-5build7_amd64.deb

15.11KB

2025-02-18 23:25:33