Folder Path
/
deb
/
uos-amd64
/
pool
/
main
/
c
/
coq
/
0
directories
8
files
202 MiB
total
List
Grid
Name
Size
Modified
Up
coq-theories_8.9.0-1_amd64.deb
28 MiB
08/22/2026 10:33:09 PM +00:00
coq-theories_8.9.0-1_i386.deb
27 MiB
09/01/2026 05:46:08 AM +00:00
coq_8.9.0-1_amd64.deb
56 MiB
08/22/2026 10:22:22 PM +00:00
coq_8.9.0-1_i386.deb
54 MiB
09/01/2026 05:11:01 AM +00:00
libcoq-ocaml-dev_8.9.0-1_amd64.deb
13 MiB
08/22/2026 09:30:18 PM +00:00
libcoq-ocaml-dev_8.9.0-1_i386.deb
13 MiB
09/01/2026 05:48:23 AM +00:00
libcoq-ocaml_8.9.0-1_amd64.deb
5.2 MiB
08/22/2026 08:57:53 PM +00:00
libcoq-ocaml_8.9.0-1_i386.deb
4.9 MiB
09/01/2026 05:08:25 AM +00:00