Index of /pub/deepin/packages/pool/main/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.9.0-1.dsc 24172022-Apr-11 03:21
coq_8.9.0-1.debian.tar.xz 278162022-Apr-11 03:21
libcoq-ocaml_8.9.0-1_i386.deb 51860882022-Apr-11 03:25
coq_8.9.0.orig.tar.gz 53957692022-Apr-11 03:21
libcoq-ocaml_8.9.0-1_amd64.deb 54631122022-Apr-11 03:28
libcoq-ocaml-dev_8.9.0-1_amd64.deb 137039362022-Apr-11 03:05
libcoq-ocaml-dev_8.9.0-1_i386.deb 137287882022-Apr-11 02:58
coq-theories_8.9.0-1_i386.deb 284149682022-Apr-11 03:36
coq-theories_8.9.0-1_amd64.deb 297376722022-Apr-11 03:16
coq_8.9.0-1_i386.deb 561958962022-Apr-11 03:46
coq_8.9.0-1_amd64.deb 589905602022-Apr-11 03:02
This server can also be reached on the Tor network at
lysator7eknrfl47rlyxvgeamrv7ucefgrrlhk7rouv3sna25asetwid.onion
Information:
Data handling policy
The mirror administration can be reached at ftp-master (at) lysator.liu.se