Index of /pub/deepin/packages/apricot/pool/main/p/p9m4/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
prover9-mace4_0.5.dfsg-3_all.deb 526702022-Apr-11 02:55
p9m4_0.5.dfsg.orig.tar.gz 886832022-Apr-11 03:22
p9m4_0.5.dfsg-3.dsc 17262022-Apr-11 03:22
p9m4_0.5.dfsg-3.debian.tar.xz 87922022-Apr-11 03:22
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