Index of /debian64/pool/main/c/coq/

NameLast ModifiedSizeType
../ -  Directory
coq_8.16.1+dfsg-1+b2_amd64.deb2023-Feb-13 02:14:2488.9Mapplication/vnd.debian.binary-package
coq_8.16.1+dfsg-1+b2_arm64.deb2023-Feb-13 02:55:5997.4Mapplication/vnd.debian.binary-package
coq_8.16.1+dfsg-1+b2_armhf.deb2023-Feb-13 02:55:4085.7Mapplication/vnd.debian.binary-package
coqide_8.16.1+dfsg-1+b2_amd64.deb2023-Feb-13 02:14:241.9Mapplication/vnd.debian.binary-package
coqide_8.16.1+dfsg-1+b2_arm64.deb2023-Feb-13 02:55:592.2Mapplication/vnd.debian.binary-package
coqide_8.16.1+dfsg-1+b2_armhf.deb2023-Feb-13 02:55:401.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb2023-Feb-13 02:14:2440.7Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb2023-Feb-13 02:55:5940.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb2023-Feb-13 02:55:4041.1Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb2023-Feb-13 02:14:2421.5Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb2023-Feb-13 02:55:5922.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb2023-Feb-13 02:55:4021.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb2023-Feb-13 02:14:2420.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb2023-Feb-13 02:55:5920.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb2023-Feb-13 02:55:4020.5Mapplication/vnd.debian.binary-package
lighttpd/1.4.69