Index of /mirror/deepin/pool/main/c/coq/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-theories_8.9.0-1_amd64.deb2022-Apr-11 11:16:2928.3Mapplication/vnd.debian.binary-package
coq-theories_8.9.0-1_i386.deb2022-Apr-11 11:36:0427.1Mapplication/vnd.debian.binary-package
coq_8.9.0-1.debian.tar.xz2022-Apr-11 11:21:0727.1Kapplication/x-xz
coq_8.9.0-1.dsc2022-Apr-11 11:21:072.3Kapplication/octet-stream
coq_8.9.0-1_amd64.deb2022-Apr-11 11:02:1856.2Mapplication/vnd.debian.binary-package
coq_8.9.0-1_i386.deb2022-Apr-11 11:46:0053.6Mapplication/vnd.debian.binary-package
coq_8.9.0.orig.tar.gz2022-Apr-11 11:21:075.1Mapplication/gzip
libcoq-ocaml-dev_8.9.0-1_amd64.deb2022-Apr-11 11:05:2913.0Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.9.0-1_i386.deb2022-Apr-11 10:58:4513.0Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.9.0-1_amd64.deb2022-Apr-11 11:28:195.2Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.9.0-1_i386.deb2022-Apr-11 11:25:304.9Mapplication/vnd.debian.binary-package
lighttpd/1.4.35