Folder Path

/raspbian-archive/raspbian.raspberrypi.org/raspbian/pool/main/c/coq/

0 directories 11 files 176 MiB total
List Grid
Name
Size Modified
Up
coq_8.16.1+dfsg-1+b2_armhf.deb
83 MiB
coq_8.16.1+dfsg-1.debian.tar.xz
32 KiB
coq_8.16.1+dfsg-1.dsc
2.6 KiB
coq_8.16.1+dfsg.orig.tar.xz
4.5 MiB
coq_8.20.1+dfsg-1.debian.tar.xz
30 KiB
coq_8.20.1+dfsg-1.dsc
2.5 KiB
coq_8.20.1+dfsg.orig.tar.xz
4.8 MiB
coqide_8.16.1+dfsg-1+b2_armhf.deb
1.7 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb
41 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb
21 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb
20 MiB