Index of /debian/pool/main/c/coq-elpi/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-elpi_1.16.0.orig.tar.gz 4262232022-Nov-21 00:35
coq-elpi_1.16.0-2.dsc 20302023-Jan-25 15:56
coq-elpi_1.16.0-2.debian.tar.xz 34122023-Jan-25 15:56
libcoq-elpi_1.16.0-2+b1_i386.deb 23544562023-Feb-14 18:49
libcoq-elpi_1.16.0-2+b1_amd64.deb 24286962023-Feb-14 18:59
libcoq-elpi_1.16.0-2+b1_arm64.deb 25130162023-Feb-14 18:59
libcoq-elpi_1.16.0-2+b1_ppc64el.deb 24461962023-Feb-14 19:44
coq-elpi_2.5.0.orig.tar.gz 7459682025-Mar-18 21:33
coq-elpi_2.5.0-1.1.debian.tar.xz 39002025-Jun-17 16:00
coq-elpi_2.5.0-1.1.dsc 20502025-Jun-17 16:00
libcoq-elpi_2.5.0-1.1_ppc64el.deb 124098162025-Jun-17 16:15
libcoq-elpi_2.5.0-1.1_amd64.deb 122997282025-Jun-17 16:16
libcoq-elpi_2.5.0-1.1_arm64.deb 127790402025-Jun-17 16:21
libcoq-elpi_2.5.0-1.1_riscv64.deb 129332642025-Jun-17 16:36
libcoq-elpi_2.5.0-1.1_s390x.deb 123508202025-Jun-17 17:16
coq-elpi_2.5.0-1.2.debian.tar.xz 39202025-Oct-28 21:55
coq-elpi_2.5.0-1.2.dsc 20502025-Oct-28 21:55
coq-elpi_3.2.0.orig.tar.gz 7667082025-Oct-30 19:44
coq-elpi_3.2.0-3.debian.tar.xz 38842025-Nov-12 02:40
coq-elpi_3.2.0-3.dsc 20872025-Nov-12 02:40
libcoq-elpi_2.5.0-1.2+b2_ppc64el.deb 124083402025-Dec-28 13:45
libcoq-elpi_2.5.0-1.2+b2_s390x.deb 124453682025-Dec-28 13:45
libcoq-elpi_2.5.0-1.2+b2_riscv64.deb 128180362025-Dec-28 16:17
libcoq-elpi_3.2.0-3_s390x.deb 169506722026-Feb-13 17:42
libcoq-elpi_2.5.0-1.2+b4_arm64.deb 128193682026-Feb-14 02:49
libcoq-elpi_2.5.0-1.2+b4_amd64.deb 121121642026-Feb-14 04:47
libcoq-elpi_3.2.0-3+b1_amd64.deb 168396722026-Feb-15 19:38
libcoq-elpi_3.2.0-3_ppc64el.deb 169121362026-Feb-15 19:48
libcoq-elpi_3.2.0-3+b1_arm64.deb 172167682026-Feb-16 00:48
coq-elpi_3.4.0-1.debian.tar.xz 36762026-Jul-10 20:12
libcoq-elpi_3.4.0-1_amd64.deb 127915762026-Jul-10 20:12
coq-elpi_3.4.0.orig.tar.gz 11134032026-Jul-10 20:12
coq-elpi_3.4.0-1.dsc 21352026-Jul-10 20:12
libcoq-elpi_3.4.0-1_s390x.deb 130092322026-Jul-10 20:32