Index of /pool/main/c/coq-hott/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-hott_9.1-2_armhf.deb 151200282026-Aug-10 16:08
libcoq-hott_8.16-2+b2_armhf.deb 140716322023-May-21 01:16
coq-hott_9.1.orig.tar.gz 11847422026-Jul-10 14:43
coq-hott_9.1-2.dsc 20442026-Jul-28 09:34
coq-hott_9.1-2.debian.tar.xz 27482026-Jul-28 09:34
coq-hott_9.0.orig.tar.gz 11189882025-Feb-17 16:37
coq-hott_9.0-1.dsc 20372025-Feb-17 16:37
coq-hott_9.0-1.debian.tar.xz 30122025-Feb-17 16:37
coq-hott_8.16.orig.tar.gz 8681012022-Sep-06 09:09
coq-hott_8.16-2.dsc 20292023-Jan-25 07:12
coq-hott_8.16-2.debian.tar.xz 25682023-Jan-25 07:12