|
📁 ../
|
- |
- |
|
📄 coq-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb
|
11119148 bytes
|
2024-03-14 06:03:04 |
|
📄 coq_8.18.0+dfsg-1+b1_hurd-i386.buildinfo
|
16609 bytes
|
2024-03-14 06:03:04 |
|
📄 coq_8.18.0+dfsg-1+b1_hurd-i386.deb
|
77158052 bytes
|
2024-03-14 06:03:04 |
|
📄 coqide-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb
|
710140 bytes
|
2024-03-14 06:03:04 |
|
📄 coqide_8.18.0+dfsg-1+b1_hurd-i386.deb
|
1815764 bytes
|
2024-03-14 06:03:04 |
|
📄 libcoq-core-ocaml-dbgsym_8.18.0+dfsg-1+b1_hurd-i386.deb
|
2219200 bytes
|
2024-03-14 06:03:04 |
|
📄 libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_hurd-i386.deb
|
44141092 bytes
|
2024-03-14 06:03:04 |
|
📄 libcoq-core-ocaml_8.18.0+dfsg-1+b1_hurd-i386.deb
|
22399096 bytes
|
2024-03-14 06:03:04 |
|
📄 libcoq-stdlib_8.18.0+dfsg-1+b1_hurd-i386.deb
|
23237284 bytes
|
2024-03-14 06:03:05 |