ubuntu/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-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-4build8.debian.tar.xz

8.68KB

2024-12-20 16:16:36

coq-reglang_1.2.1-4build8.dsc

2.07KB

2024-12-20 16:16:36

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-4build5_amd64.deb

947.70KB

2024-09-20 02:39:49

libcoq-reglang_1.2.1-4build8_amd64.deb

971.72KB

2024-12-20 16:16:50