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

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

File Name

Size

Date

..

—

—
coq-equations_1.3-8.18-1build3.debian.tar.xz

2.78KB

2024-04-08 10:57:39

coq-equations_1.3-8.18-1build3.dsc

2.19KB

2024-04-08 10:57:39

coq-equations_1.3-8.18.orig.tar.gz

1.05MB

2023-12-23 19:16:59

coq-equations_1.3-8.19-2build3.debian.tar.xz

2.79KB

2024-09-07 22:04:33

coq-equations_1.3-8.19-2build3.dsc

2.11KB

2024-09-07 22:04:33

coq-equations_1.3-8.19.orig.tar.gz

1.05MB

2024-05-02 14:53:16

coq-equations_1.3.1-8.20-1.debian.tar.xz

2.68KB

2024-11-20 20:47:28

coq-equations_1.3.1-8.20-1.dsc

2.13KB

2024-11-20 20:47:28

coq-equations_1.3.1-8.20.orig.tar.gz

1.05MB

2024-11-20 20:47:28

libcoq-equations_1.3-8.18-1build3_amd64.deb

1.52MB

2024-04-08 13:59:16

libcoq-equations_1.3-8.19-2build3_amd64.deb

1.30MB

2024-09-07 22:05:04

libcoq-equations_1.3.1-8.20-1_amd64.deb

1.29MB

2024-11-21 09:16:59