|
📁 ../
|
- |
- |
|
📄 coq-theories_8.9.0-1_amd64.deb
|
29737672 bytes
|
2022-04-11 03:16:29 |
|
📄 coq-theories_8.9.0-1_i386.deb
|
28414968 bytes
|
2022-04-11 03:36:04 |
|
📄 coq_8.9.0-1.debian.tar.xz
|
27816 bytes
|
2022-04-11 03:21:07 |
|
📄 coq_8.9.0-1.dsc
|
2417 bytes
|
2022-04-11 03:21:07 |
|
📄 coq_8.9.0-1_amd64.deb
|
58990560 bytes
|
2022-04-11 03:02:18 |
|
📄 coq_8.9.0-1_i386.deb
|
56195896 bytes
|
2022-04-11 03:46:00 |
|
📄 coq_8.9.0.orig.tar.gz
|
5395769 bytes
|
2022-04-11 03:21:07 |
|
📄 libcoq-ocaml-dev_8.9.0-1_amd64.deb
|
13703936 bytes
|
2022-04-11 03:05:29 |
|
📄 libcoq-ocaml-dev_8.9.0-1_i386.deb
|
13728788 bytes
|
2022-04-11 02:58:45 |
|
📄 libcoq-ocaml_8.9.0-1_amd64.deb
|
5463112 bytes
|
2022-04-11 03:28:19 |
|
📄 libcoq-ocaml_8.9.0-1_i386.deb
|
5186088 bytes
|
2022-04-11 03:25:30 |