Index of /debian/pool/main/c/coq-hott/
../
coq-hott_8.16-2.debian.tar.xz 25-Jan-2023 15:12 2568
coq-hott_8.16-2.dsc 25-Jan-2023 15:12 2029
coq-hott_8.16.orig.tar.gz 06-Sep-2022 17:09 868101
coq-hott_8.18-3.debian.tar.xz 22-Dec-2023 18:16 2888
coq-hott_8.18-3.dsc 22-Dec-2023 18:16 2029
coq-hott_8.18.orig.tar.gz 01-Sep-2023 20:20 909335
coq-hott_8.19-1.debian.tar.xz 26-Apr-2024 21:51 2908
coq-hott_8.19-1.dsc 26-Apr-2024 21:51 2029
coq-hott_8.19-2.debian.tar.xz 03-Aug-2024 23:44 2980
coq-hott_8.19-2.dsc 03-Aug-2024 23:44 1796
coq-hott_8.19.orig.tar.gz 26-Apr-2024 21:51 983985
coq-hott_8.20-1.debian.tar.xz 20-Nov-2024 17:57 2988
coq-hott_8.20-1.dsc 20-Nov-2024 17:57 2032
coq-hott_8.20.orig.tar.gz 20-Nov-2024 17:57 1075968
coq-hott_9.0-1.debian.tar.xz 18-Feb-2025 00:37 3012
coq-hott_9.0-1.dsc 18-Feb-2025 00:37 2037
coq-hott_9.0-2.debian.tar.xz 29-Oct-2025 16:23 17060
coq-hott_9.0-2.dsc 29-Oct-2025 16:23 2040
coq-hott_9.0-3.debian.tar.xz 12-Nov-2025 01:40 17108
coq-hott_9.0-3.dsc 12-Nov-2025 01:40 2047
coq-hott_9.0.orig.tar.gz 18-Feb-2025 00:37 1118988
libcoq-hott_8.16-2+b1_amd64.deb 13-Feb-2023 13:27 14104768
libcoq-hott_8.18-3_amd64.deb 22-Dec-2023 19:07 12624364
libcoq-hott_8.19-1+b1_amd64.deb 15-Jun-2024 18:59 14225384
libcoq-hott_8.19-1_amd64.deb 28-Apr-2024 06:08 14224424
libcoq-hott_8.19-2+b1_amd64.deb 11-Aug-2024 12:59 14226292
libcoq-hott_8.19-2+b2_amd64.deb 21-Aug-2024 11:48 14231192
libcoq-hott_8.19-2_amd64.deb 04-Aug-2024 00:15 14224372
libcoq-hott_8.20-1+b1_amd64.deb 20-Nov-2024 22:57 14225804
libcoq-hott_8.20-1+b2_amd64.deb 21-Nov-2024 00:41 14227488
libcoq-hott_8.20-1+b3_amd64.deb 30-Jan-2025 15:22 14225152
libcoq-hott_8.20-1_amd64.deb 20-Nov-2024 18:33 15566936
libcoq-hott_9.0-1+b1_amd64.deb 18-Feb-2025 08:15 14694280
libcoq-hott_9.0-1+b2_amd64.deb 15-Jun-2025 18:49 14691176
libcoq-hott_9.0-1+b3_amd64.deb 28-Dec-2025 12:20 14692004
libcoq-hott_9.0-2_amd64.deb 29-Oct-2025 16:23 14664608
libcoq-hott_9.0-3_amd64.deb 12-Nov-2025 01:40 14664536