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

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

File Name

Size

Date

..

—

—
coq-reglang_1.2.1-1build5.debian.tar.xz

8.56KB

2024-04-08 10:57:41

coq-reglang_1.2.1-1build5.dsc

2.14KB

2024-04-08 10:57:41

coq-reglang_1.2.1-4build12.debian.tar.xz

8.73KB

2025-02-19 09:52:19

coq-reglang_1.2.1-4build12.dsc

2.07KB

2025-02-19 09:52:19

coq-reglang_1.2.1-4build13.debian.tar.xz

8.76KB

2025-05-08 14:58:46

coq-reglang_1.2.1-4build13.dsc

2.07KB

2025-05-08 14:58:46

coq-reglang_1.2.1-4build5.debian.tar.xz

8.59KB

2024-09-17 18:51:43

coq-reglang_1.2.1-4build5.dsc

2.07KB

2024-09-17 18:51:43

coq-reglang_1.2.1.orig.tar.gz

67.80KB

2024-01-21 07:45:49

libcoq-reglang_1.2.1-1build5_amd64.deb

804.98KB

2024-04-08 17:36:31

libcoq-reglang_1.2.1-4build12_amd64.deb

971.82KB

2025-02-20 06:20:12

libcoq-reglang_1.2.1-4build13_amd64.deb

969.77KB

2025-05-08 18:28:34

libcoq-reglang_1.2.1-4build5_amd64.deb

947.70KB

2024-09-20 02:39:49