|
📁 ../
|
- |
- |
|
📄 coq-theories_8.12.0-3+b3_powerpc.deb
|
23915324 bytes
|
2020-11-25 12:03:05 |
|
📄 coq_8.12.0-3+b3_powerpc.buildinfo
|
16112 bytes
|
2020-11-25 12:03:05 |
|
📄 coq_8.12.0-3+b3_powerpc.deb
|
105873540 bytes
|
2020-11-25 12:03:06 |
|
📄 coqide_8.12.0-3+b3_powerpc.deb
|
46756 bytes
|
2020-11-25 12:03:06 |
|
📄 libcoq-ocaml-dbgsym_8.12.0-3+b3_powerpc.deb
|
35560 bytes
|
2020-11-25 12:03:06 |
|
📄 libcoq-ocaml-dev_8.12.0-3+b3_powerpc.deb
|
11282100 bytes
|
2020-11-25 12:03:06 |
|
📄 libcoq-ocaml_8.12.0-3+b3_powerpc.deb
|
5461796 bytes
|
2020-11-25 12:03:06 |