Triple - Together we Inspire
News
About us
Contact
Careers
/pool/universe/c/coq-reduction-effects/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
libcoq-reduction-effects_0.1.5-4build3_amd64.deb
15256
2024-Jun-15 14:43
libcoq-reduction-effects_0.1.5-1build3_amd64.deb
14522
2024-Apr-08 07:57
libcoq-reduction-effects_0.1.4-4build1_amd64.deb
14488
2023-Jul-26 06:22
libcoq-reduction-effects_0.1.4-3build2_amd64.deb
14244
2023-Feb-16 18:50
coq-reduction-effects_0.1.5.orig.tar.gz
10369
2023-Dec-22 17:26
coq-reduction-effects_0.1.4.orig.tar.gz
10292
2022-Aug-13 11:24
coq-reduction-effects_0.1.5-1build3.dsc
2292
2024-Apr-08 07:57
coq-reduction-effects_0.1.4-3build2.dsc
2213
2023-Feb-16 18:50
coq-reduction-effects_0.1.4-4build1.dsc
2213
2023-Jul-26 05:19
coq-reduction-effects_0.1.5-4build3.dsc
2213
2024-Jun-15 14:43
coq-reduction-effects_0.1.5-1build3.debian.tar.xz
1916
2024-Apr-08 07:57
coq-reduction-effects_0.1.5-4build3.debian.tar.xz
1900
2024-Jun-15 14:43
coq-reduction-effects_0.1.4-4build1.debian.tar.xz
1768
2023-Jul-26 05:19
coq-reduction-effects_0.1.4-3build2.debian.tar.xz
1656
2023-Feb-16 18:50