Folder Path
/
mlu-recordum
/
pool
/
main
/
c
/
coq
/
0
directories
5
files
68 MiB
total
List
Grid
Name
Size
Modified
Up
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb
52 MiB
09/11/2025 06:59:31 AM +00:00
coq_8.3.pl3+dfsg-1~bpo60+1_i386.deb
4.7 MiB
09/11/2025 06:59:31 AM +00:00
coqide_8.3.pl3+dfsg-1~bpo60+1_i386.deb
4.9 MiB
09/11/2025 06:59:31 AM +00:00
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_i386.deb
5.5 MiB
09/11/2025 06:59:37 AM +00:00
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_i386.deb
1.8 MiB
09/11/2025 06:59:37 AM +00:00