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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-elpi_1.13.0-7.debian.tar.xz2022-04-17 06:58 3.0K 
[TXT]coq-elpi_1.13.0-7.dsc2022-04-17 06:58 2.1K 
[ ]coq-elpi_1.13.0.orig.tar.gz2022-02-10 11:24 352K 
[ ]coq-elpi_1.14.0-5.debian.tar.xz2022-06-12 13:23 3.1K 
[TXT]coq-elpi_1.14.0-5.dsc2022-06-12 13:23 2.1K 
[ ]coq-elpi_1.14.0.orig.tar.gz2022-05-14 08:53 352K 
[ ]coq-elpi_1.15.6-1.debian.tar.xz2022-09-11 11:11 3.2K 
[TXT]coq-elpi_1.15.6-1.dsc2022-09-11 11:11 2.0K 
[ ]coq-elpi_1.15.6-4.debian.tar.xz2022-11-13 14:55 3.3K 
[TXT]coq-elpi_1.15.6-4.dsc2022-11-13 14:55 2.0K 
[ ]coq-elpi_1.15.6.orig.tar.gz2022-09-11 11:11 395K 
[ ]coq-elpi_1.16.0-1.debian.tar.xz2022-11-20 09:35 3.3K 
[TXT]coq-elpi_1.16.0-1.dsc2022-11-20 09:35 2.0K 
[ ]coq-elpi_1.16.0-2.debian.tar.xz2023-01-25 00:56 3.3K 
[TXT]coq-elpi_1.16.0-2.dsc2023-01-25 00:56 2.0K 
[ ]coq-elpi_1.16.0.orig.tar.gz2022-11-20 09:35 416K 
[ ]coq-elpi_1.17.1-1.debian.tar.xz2023-06-12 15:28 3.5K 
[TXT]coq-elpi_1.17.1-1.dsc2023-06-12 15:28 2.0K 
[ ]coq-elpi_1.17.1.orig.tar.gz2023-06-12 15:28 420K 
[ ]coq-elpi_1.19.3-2.debian.tar.xz2024-01-03 02:01 3.6K 
[TXT]coq-elpi_1.19.3-2.dsc2024-01-03 02:01 1.8K 
[ ]coq-elpi_1.19.3.orig.tar.gz2023-12-22 04:16 558K 
[ ]coq-elpi_2.1.0-1.debian.tar.xz2024-04-26 08:46 3.6K 
[TXT]coq-elpi_2.1.0-1.dsc2024-04-26 08:46 2.0K 
[ ]coq-elpi_2.1.0.orig.tar.gz2024-04-26 08:46 699K 
[ ]coq-elpi_2.2.3-1.debian.tar.xz2024-11-20 03:52 3.6K 
[TXT]coq-elpi_2.2.3-1.dsc2024-11-20 03:52 2.0K 
[ ]coq-elpi_2.2.3.orig.tar.gz2024-11-20 03:52 736K 
[ ]coq-elpi_2.3.0-1.debian.tar.xz2024-12-18 10:07 3.7K 
[TXT]coq-elpi_2.3.0-1.dsc2024-12-18 10:07 2.0K 
[ ]coq-elpi_2.3.0.orig.tar.gz2024-12-18 10:07 717K 
[ ]coq-elpi_2.5.0-1.1.debian.tar.xz2025-06-17 02:00 3.8K 
[TXT]coq-elpi_2.5.0-1.1.dsc2025-06-17 02:00 2.0K 
[ ]coq-elpi_2.5.0-1.2.debian.tar.xz2025-10-28 07:55 3.8K 
[TXT]coq-elpi_2.5.0-1.2.dsc2025-10-28 07:55 2.0K 
[ ]coq-elpi_2.5.0-1.debian.tar.xz2025-03-18 07:33 3.2K 
[TXT]coq-elpi_2.5.0-1.dsc2025-03-18 07:33 2.0K 
[ ]coq-elpi_2.5.0.orig.tar.gz2025-03-18 07:33 728K 
[ ]libcoq-elpi-ocaml-dev_1.13.0-7+b1_armhf.deb2022-04-23 13:18 1.2M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5+b1_armhf.deb2022-08-09 12:11 1.3M 
[ ]libcoq-elpi-ocaml-dev_1.14.0-5_armhf.deb2022-07-10 05:08 1.3M 
[ ]libcoq-elpi-ocaml_1.13.0-7+b1_armhf.deb2022-04-23 13:18 3.4M 
[ ]libcoq-elpi-ocaml_1.14.0-5+b1_armhf.deb2022-08-09 12:11 6.1M 
[ ]libcoq-elpi-ocaml_1.14.0-5_armhf.deb2022-07-10 05:08 6.1M 
[ ]libcoq-elpi_1.13.0-7+b1_armhf.deb2022-04-23 13:18 446K 
[ ]libcoq-elpi_1.14.0-5+b1_armhf.deb2022-08-09 12:11 444K 
[ ]libcoq-elpi_1.14.0-5_armhf.deb2022-07-10 05:08 445K 
[ ]libcoq-elpi_1.15.6-1_armhf.deb2022-09-17 11:08 2.2M 
[ ]libcoq-elpi_1.15.6-4_armhf.deb2022-11-19 02:54 2.2M 
[ ]libcoq-elpi_1.19.3-2+b1_armhf.deb2024-02-29 04:08 2.4M 
[ ]libcoq-elpi_1.19.3-2+b2_armhf.deb2024-06-18 11:08 2.4M 
[ ]libcoq-elpi_1.19.3-2_armhf.deb2024-01-23 16:08 2.4M 
[ ]libcoq-elpi_2.1.0-1_armhf.deb2024-06-27 10:21 3.3M 
Apache/2.4.53 (Debian) Server at mirror.quadstate.us Port 443