Index of /ubuntu/pool/universe/e/elpi

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]elpi_1.13.7-2.dsc2021-11-29 00:23 2.1K 
[   ]elpi_1.13.7.orig.tar.gz2021-11-29 00:23 1.5M 
[   ]elpi_1.13.7-2.debian.tar.xz2021-11-29 00:23 3.0K 
[   ]elpi_1.13.7-2_amd64.deb2021-11-29 10:24 1.1M 
[   ]libelpi-ocaml-dev_1.13.7-2_amd64.deb2021-11-29 10:24 8.4M 
[   ]libelpi-ocaml_1.13.7-2_amd64.deb2021-11-29 10:24 2.2M 
[   ]elpi_1.13.8-1.dsc2021-11-30 06:39 2.1K 
[   ]elpi_1.13.8.orig.tar.gz2021-11-30 06:39 1.5M 
[   ]elpi_1.13.8-1.debian.tar.xz2021-11-30 06:39 3.5K 
[   ]elpi_1.13.8-1_amd64.deb2021-11-30 06:39 1.1M 
[   ]libelpi-ocaml-dev_1.13.8-1_amd64.deb2021-11-30 06:39 8.3M 
[   ]libelpi-ocaml_1.13.8-1_amd64.deb2021-11-30 06:39 2.2M 
[   ]elpi_1.13.8-1build1.debian.tar.xz2021-12-09 03:34 3.7K 
[   ]elpi_1.13.8-1build1.dsc2021-12-09 03:34 2.2K 
[   ]elpi_1.13.8-1build1_amd64.deb2021-12-09 19:09 1.1M 
[   ]libelpi-ocaml_1.13.8-1build1_amd64.deb2021-12-09 19:09 2.2M 
[   ]libelpi-ocaml-dev_1.13.8-1build1_amd64.deb2021-12-09 19:09 8.3M 
[   ]elpi_1.13.8-2.dsc2022-01-21 18:34 2.1K 
[   ]elpi_1.13.8-2.debian.tar.xz2022-01-21 18:34 4.3K 
[   ]elpi_1.13.8-2_amd64.deb2022-01-21 18:34 1.1M 
[   ]libelpi-ocaml_1.13.8-2_amd64.deb2022-01-21 18:34 2.2M 
[   ]libelpi-ocaml-dev_1.13.8-2_amd64.deb2022-01-21 18:34 7.7M 
[   ]elpi_1.13.8-2build1.debian.tar.xz2022-01-25 16:14 4.4K 
[   ]elpi_1.13.8-2build1.dsc2022-01-25 16:14 2.1K 
[   ]elpi_1.13.8-2build1_amd64.deb2022-01-25 16:14 1.1M 
[   ]libelpi-ocaml_1.13.8-2build1_amd64.deb2022-01-25 16:14 2.2M 
[   ]libelpi-ocaml-dev_1.13.8-2build1_amd64.deb2022-01-25 16:14 7.8M 
[   ]elpi_1.14.1-1.dsc2022-02-09 06:35 2.1K 
[   ]elpi_1.14.1.orig.tar.gz2022-02-09 06:35 1.5M 
[   ]elpi_1.14.1-1.debian.tar.xz2022-02-09 06:35 4.0K 
[   ]elpi_1.14.1-1_amd64.deb2022-02-09 06:37 1.2M 
[   ]libelpi-ocaml-dev_1.14.1-1_amd64.deb2022-02-09 06:37 8.0M 
[   ]libelpi-ocaml_1.14.1-1_amd64.deb2022-02-09 06:37 2.3M 
[   ]elpi_1.14.3-1.dsc2022-04-30 03:36 2.1K 
[   ]elpi_1.14.3.orig.tar.gz2022-04-30 03:36 1.5M 
[   ]elpi_1.14.3-1.debian.tar.xz2022-04-30 03:36 3.3K 
[   ]libelpi-ocaml_1.14.3-1_amd64.deb2022-04-30 07:32 2.3M 
[   ]elpi_1.14.3-1_amd64.deb2022-04-30 07:32 1.2M 
[   ]libelpi-ocaml-dev_1.14.3-1_amd64.deb2022-04-30 07:32 7.9M 
[   ]elpi_1.14.3-1build1.debian.tar.xz2022-05-02 11:09 3.4K 
[   ]elpi_1.14.3-1build1.dsc2022-05-02 11:09 2.1K 
[   ]libelpi-ocaml_1.14.3-1build1_amd64.deb2022-05-02 11:09 2.3M 
[   ]libelpi-ocaml-dev_1.14.3-1build1_amd64.deb2022-05-02 11:09 7.9M 
[   ]elpi_1.14.3-1build1_amd64.deb2022-05-02 11:09 1.2M 
[   ]elpi_1.15.2-1.dsc2022-05-14 13:29 2.1K 
[   ]elpi_1.15.2.orig.tar.gz2022-05-14 13:29 1.5M 
[   ]elpi_1.15.2-1.debian.tar.xz2022-05-14 13:29 3.4K 
[   ]libelpi-ocaml-dev_1.15.2-1_amd64.deb2022-05-14 13:29 12M 
[   ]elpi_1.15.2-1_amd64.deb2022-05-14 13:29 1.3M 
[   ]libelpi-ocaml_1.15.2-1_amd64.deb2022-05-14 13:29 6.0M 
[   ]elpi_1.16.5-1.dsc2022-07-17 20:04 2.1K 
[   ]elpi_1.16.5.orig.tar.gz2022-07-17 20:04 2.5M 
[   ]elpi_1.16.5-1.debian.tar.xz2022-07-17 20:04 3.4K 
[   ]elpi_1.16.5-1_amd64.deb2022-07-21 08:18 1.7M 
[   ]libelpi-ocaml_1.16.5-1_amd64.deb2022-07-21 08:18 6.1M 
[   ]libelpi-ocaml-dev_1.16.5-1_amd64.deb2022-07-21 08:18 12M 
[   ]elpi_1.16.7-2.dsc2022-11-06 04:15 2.3K 
[   ]elpi_1.16.7.orig.tar.gz2022-11-06 04:15 2.5M 
[   ]elpi_1.16.7-2.debian.tar.xz2022-11-06 04:15 100K 
[   ]libelpi-ocaml_1.16.7-2_amd64.deb2022-11-26 18:43 6.1M 
[   ]libelpi-ocaml-dev_1.16.7-2_amd64.deb2022-11-26 18:43 12M 
[   ]elpi_1.16.7-2_amd64.deb2022-11-26 18:43 1.7M 
[   ]elpi_1.16.7-2build1.debian.tar.xz2022-11-27 08:48 100K 
[   ]elpi_1.16.7-2build1.dsc2022-11-27 08:48 2.3K 
[   ]libelpi-ocaml_1.16.7-2build1_amd64.deb2022-11-27 08:48 6.1M 
[   ]libelpi-ocaml-dev_1.16.7-2build1_amd64.deb2022-11-27 08:48 12M 
[   ]elpi_1.16.7-2build1_amd64.deb2022-11-27 08:48 1.7M 
[   ]elpi_1.16.8-1.dsc2022-12-07 12:39 2.4K 
[   ]elpi_1.16.8.orig.tar.gz2022-12-07 12:39 2.5M 
[   ]elpi_1.16.8-1.debian.tar.xz2022-12-07 12:39 4.0K 
[   ]libelpi-ocaml-dev_1.16.8-1_amd64.deb2022-12-07 12:39 12M 
[   ]libelpi-ocaml_1.16.8-1_amd64.deb2022-12-07 12:39 6.1M 
[   ]elpi_1.16.8-1_amd64.deb2022-12-07 12:39 1.7M 
[   ]elpi_1.16.8-1build1.debian.tar.xz2023-01-27 14:24 4.1K 
[   ]elpi_1.16.8-1build1.dsc2023-01-27 14:24 2.4K 
[   ]libelpi-ocaml-dev_1.16.8-1build1_amd64.deb2023-01-27 14:24 12M 
[   ]libelpi-ocaml_1.16.8-1build1_amd64.deb2023-01-27 14:24 6.1M 
[   ]elpi_1.16.8-1build1_amd64.deb2023-01-27 14:24 1.7M 
[   ]elpi_1.16.8-1build2.debian.tar.xz2023-02-17 00:24 4.1K 
[   ]elpi_1.16.8-1build2.dsc2023-02-17 00:24 2.4K 
[   ]elpi_1.16.8-1build2_amd64.deb2023-02-17 00:24 1.7M 
[   ]libelpi-ocaml-dev_1.16.8-1build2_amd64.deb2023-02-17 00:24 12M 
[   ]libelpi-ocaml_1.16.8-1build2_amd64.deb2023-02-17 00:24 6.1M 
[   ]elpi_1.16.10-1.dsc2023-06-12 20:01 2.4K 
[   ]elpi_1.16.10.orig.tar.gz2023-06-12 20:01 2.5M 
[   ]elpi_1.16.10-1.debian.tar.xz2023-06-12 20:01 4.0K 
[   ]elpi_1.16.10-1_amd64.deb2023-06-12 20:48 1.7M 
[   ]libelpi-ocaml_1.16.10-1_amd64.deb2023-06-12 20:48 6.1M 
[   ]libelpi-ocaml-dev_1.16.10-1_amd64.deb2023-06-12 20:48 12M 
[   ]elpi_1.16.10-2.dsc2023-07-06 20:01 2.4K 
[   ]elpi_1.16.10-2.debian.tar.xz2023-07-06 20:01 4.1K 
[   ]libelpi-ocaml_1.16.10-2_amd64.deb2023-07-06 20:01 6.1M 
[   ]libelpi-ocaml-dev_1.16.10-2_amd64.deb2023-07-06 20:01 12M 
[   ]elpi_1.16.10-2_amd64.deb2023-07-06 20:01 1.7M 
[   ]elpi_1.16.10-2build1.debian.tar.xz2023-07-07 11:24 4.1K 
[   ]elpi_1.16.10-2build1.dsc2023-07-07 11:24 2.4K 
[   ]elpi_1.16.10-2build2.debian.tar.xz2023-07-07 21:48 4.1K 
[   ]elpi_1.16.10-2build2.dsc2023-07-07 21:48 2.4K 
[   ]libelpi-ocaml-dev_1.16.10-2build2_amd64.deb2023-07-07 23:19 12M 
[   ]libelpi-ocaml_1.16.10-2build2_amd64.deb2023-07-07 23:19 6.1M 
[   ]elpi_1.16.10-2build2_amd64.deb2023-07-07 23:19 1.7M 
[   ]elpi_1.16.10-3.dsc2023-07-13 01:15 2.2K 
[   ]elpi_1.16.10-3.debian.tar.xz2023-07-13 01:15 4.1K 
[   ]libelpi-ocaml-dev_1.16.10-3_amd64.deb2023-07-13 02:15 12M 
[   ]libelpi-ocaml_1.16.10-3_amd64.deb2023-07-13 02:15 6.1M 
[   ]elpi_1.16.10-3_amd64.deb2023-07-13 02:15 1.7M 
[   ]elpi_1.16.10-3build1.debian.tar.xz2023-07-17 16:44 4.2K 
[   ]elpi_1.16.10-3build1.dsc2023-07-17 16:44 2.4K 
[   ]elpi_1.16.10-3build1_amd64.deb2023-07-17 16:45 1.7M 
[   ]libelpi-ocaml-dev_1.16.10-3build1_amd64.deb2023-07-17 16:45 12M 
[   ]libelpi-ocaml_1.16.10-3build1_amd64.deb2023-07-17 16:45 6.1M 
[   ]elpi_1.16.10-3build2.debian.tar.xz2023-07-18 08:39 4.2K 
[   ]elpi_1.16.10-3build2.dsc2023-07-18 08:39 2.4K 
[   ]libelpi-ocaml-dev_1.16.10-3build2_amd64.deb2023-07-18 09:09 12M 
[   ]libelpi-ocaml_1.16.10-3build2_amd64.deb2023-07-18 09:09 6.1M 
[   ]elpi_1.16.10-3build2_amd64.deb2023-07-18 09:09 1.7M 
[   ]elpi_1.17.0-1.dsc2023-07-26 01:29 2.4K 
[   ]elpi_1.17.0.orig.tar.gz2023-07-26 01:29 2.5M 
[   ]elpi_1.17.0-1.debian.tar.xz2023-07-26 01:29 4.2K 
[   ]libelpi-ocaml_1.17.0-1_amd64.deb2023-07-26 01:29 6.2M 
[   ]libelpi-ocaml-dev_1.17.0-1_amd64.deb2023-07-26 01:29 12M 
[   ]elpi_1.17.0-1_amd64.deb2023-07-26 01:29 1.7M 
[   ]elpi_1.17.0-1build1.debian.tar.xz2023-07-27 12:19 4.2K 
[   ]elpi_1.17.0-1build1.dsc2023-07-27 12:19 2.4K 
[   ]libelpi-ocaml_1.17.0-1build1_amd64.deb2023-07-27 12:22 6.2M 
[   ]libelpi-ocaml-dev_1.17.0-1build1_amd64.deb2023-07-27 12:22 12M 
[   ]elpi_1.17.0-1build1_amd64.deb2023-07-27 12:22 1.7M 
[   ]elpi_1.17.0-1build2.debian.tar.xz2023-07-28 05:43 4.2K 
[   ]elpi_1.17.0-1build2.dsc2023-07-28 05:43 2.4K 
[   ]libelpi-ocaml_1.17.0-1build2_amd64.deb2023-07-28 06:09 6.2M 
[   ]libelpi-ocaml-dev_1.17.0-1build2_amd64.deb2023-07-28 06:09 12M 
[   ]elpi_1.17.0-1build2_amd64.deb2023-07-28 06:09 1.7M 
[   ]elpi_1.17.0-1build3.debian.tar.xz2023-08-20 10:09 4.2K 
[   ]elpi_1.17.0-1build3.dsc2023-08-20 10:09 2.4K 
[   ]elpi_1.17.0-1build3_amd64.deb2023-08-20 10:09 1.7M 
[   ]libelpi-ocaml-dev_1.17.0-1build3_amd64.deb2023-08-20 10:09 12M 
[   ]libelpi-ocaml_1.17.0-1build3_amd64.deb2023-08-20 10:09 6.2M 
[   ]elpi_1.17.0-1build4.debian.tar.xz2023-08-28 15:54 4.3K 
[   ]elpi_1.17.0-1build4.dsc2023-08-28 15:54 2.4K 
[   ]libelpi-ocaml_1.17.0-1build4_amd64.deb2023-08-28 16:24 4.6M 
[   ]elpi_1.17.0-1build4_amd64.deb2023-08-28 16:24 1.6M 
[   ]libelpi-ocaml-dev_1.17.0-1build4_amd64.deb2023-08-28 16:24 11M 
[   ]elpi_1.17.0-1build5.debian.tar.xz2023-11-04 20:39 4.3K 
[   ]elpi_1.17.0-1build5.dsc2023-11-04 20:39 2.4K 
[   ]libelpi-ocaml-dev_1.17.0-1build5_amd64.deb2023-11-04 23:30 11M 
[   ]libelpi-ocaml_1.17.0-1build5_amd64.deb2023-11-04 23:30 4.6M 
[   ]elpi_1.17.0-1build5_amd64.deb2023-11-04 23:30 1.6M 
[   ]elpi_1.17.4-1.dsc2023-12-22 00:52 2.4K 
[   ]elpi_1.17.4.orig.tar.gz2023-12-22 00:52 2.5M 
[   ]elpi_1.17.4-1.debian.tar.xz2023-12-22 00:52 4.4K 
[   ]libelpi-ocaml-dev_1.17.4-1_amd64.deb2023-12-22 00:52 14M 
[   ]libelpi-ocaml_1.17.4-1_amd64.deb2023-12-22 00:52 5.4M 
[   ]elpi_1.17.4-1_amd64.deb2023-12-22 00:52 2.2M 
[   ]elpi_1.17.4-2.dsc2023-12-31 18:45 2.3K 
[   ]elpi_1.17.4-2.debian.tar.xz2023-12-31 18:45 4.4K 
[   ]libelpi-ocaml-dev_1.17.4-2_all.deb2023-12-31 18:45 15M 
[   ]libelpi-ocaml_1.17.4-2_all.deb2023-12-31 18:45 5.6M 
[   ]elpi_1.17.4-2_all.deb2023-12-31 18:45 2.8M 
[   ]elpi_1.17.4-3.dsc2024-01-01 00:12 2.3K 
[   ]elpi_1.17.4-3.debian.tar.xz2024-01-01 00:12 4.4K 
[   ]libelpi-ocaml-dev_1.17.4-3_amd64.deb2024-01-01 00:51 14M 
[   ]libelpi-ocaml_1.17.4-3_amd64.deb2024-01-01 00:51 5.4M 
[   ]elpi_1.17.4-3_amd64.deb2024-01-01 00:51 2.2M 
[   ]elpi_1.17.4-3build1.debian.tar.xz2024-02-17 01:37 4.5K 
[   ]elpi_1.17.4-3build1.dsc2024-02-17 01:37 2.3K 
[   ]libelpi-ocaml-dev_1.17.4-3build1_amd64.deb2024-02-17 07:33 11M 
[   ]libelpi-ocaml_1.17.4-3build1_amd64.deb2024-02-17 07:33 4.6M 
[   ]elpi_1.17.4-3build1_amd64.deb2024-02-17 07:33 1.6M 
[   ]elpi_1.18.2-1.dsc2024-05-03 03:55 2.4K 
[   ]elpi_1.18.2.orig.tar.gz2024-05-03 03:55 2.5M 
[   ]elpi_1.18.2-1.debian.tar.xz2024-05-03 03:55 4.4K 
[   ]libelpi-ocaml-dev_1.18.2-1_amd64.deb2024-05-03 04:40 11M 
[   ]libelpi-ocaml_1.18.2-1_amd64.deb2024-05-03 04:40 4.7M 
[   ]elpi_1.18.2-1_amd64.deb2024-05-03 04:40 1.6M 
[   ]elpi_1.18.2-1build1.debian.tar.xz2024-06-03 23:43 4.5K 
[   ]elpi_1.18.2-1build1.dsc2024-06-03 23:43 2.4K 
[   ]libelpi-ocaml-dev_1.18.2-1build1_amd64.deb2024-06-05 11:28 11M 
[   ]libelpi-ocaml_1.18.2-1build1_amd64.deb2024-06-05 11:28 4.7M 
[   ]elpi_1.18.2-1build1_amd64.deb2024-06-05 11:28 1.6M 
[   ]elpi_1.18.2-2.dsc2024-06-07 13:58 2.3K 
[   ]elpi_1.18.2-2.debian.tar.xz2024-06-07 13:58 4.5K 
[   ]libelpi-ocaml-dev_1.18.2-2_amd64.deb2024-06-07 13:58 11M 
[   ]libelpi-ocaml_1.18.2-2_amd64.deb2024-06-07 13:58 4.7M 
[   ]elpi_1.18.2-2_amd64.deb2024-06-07 13:58 1.6M 
[   ]elpi_1.18.2-3.dsc2024-06-17 01:19 2.5K 
[   ]elpi_1.18.2-3.debian.tar.xz2024-06-17 01:19 4.5K 
[   ]libelpi-ocaml-dev_1.18.2-3_amd64.deb2024-06-17 02:03 11M 
[   ]libelpi-ocaml_1.18.2-3_amd64.deb2024-06-17 02:03 4.6M 
[   ]elpi_1.18.2-3_amd64.deb2024-06-17 02:03 1.6M 
[   ]elpi_1.18.2-4.dsc2024-06-19 01:39 2.6K 
[   ]elpi_1.18.2-4.debian.tar.xz2024-06-19 01:39 4.7K 
[   ]libelpi-ocaml-dev_1.18.2-4_amd64.deb2024-06-19 01:39 11M 
[   ]libelpi-ocaml_1.18.2-4_amd64.deb2024-06-19 01:39 4.6M 
[   ]elpi_1.18.2-4_amd64.deb2024-06-19 01:39 1.6M 
[   ]elpi_1.18.2-4build1.debian.tar.xz2024-08-09 15:49 4.8K 
[   ]elpi_1.18.2-4build1.dsc2024-08-09 15:49 2.6K 
[   ]elpi_1.18.2-5.dsc2024-08-10 20:12 2.1K 
[   ]elpi_1.18.2-5.debian.tar.xz2024-08-10 20:12 4.8K 
[   ]libelpi-ocaml-dev_1.18.2-5_amd64.deb2024-08-14 10:35 13M 
[   ]libelpi-ocaml_1.18.2-5_amd64.deb2024-08-14 10:35 3.1M 
[   ]elpi_1.18.2-5_amd64.deb2024-08-14 10:35 1.7M 
[   ]elpi_1.18.2-5build1.debian.tar.xz2024-09-07 01:05 4.8K 
[   ]elpi_1.18.2-5build1.dsc2024-09-07 01:05 2.3K 
[   ]libelpi-ocaml-dev_1.18.2-5build1_amd64.deb2024-09-07 01:05 13M 
[   ]libelpi-ocaml_1.18.2-5build1_amd64.deb2024-09-07 01:05 3.1M 
[   ]elpi_1.18.2-5build1_amd64.deb2024-09-07 01:05 1.7M 
[   ]elpi_1.18.2-5build2.debian.tar.xz2024-09-11 22:51 4.9K 
[   ]elpi_1.18.2-5build2.dsc2024-09-11 22:51 2.3K 
[   ]libelpi-ocaml-dev_1.18.2-5build2_amd64.deb2024-09-12 11:26 13M 
[   ]libelpi-ocaml_1.18.2-5build2_amd64.deb2024-09-12 11:26 3.1M 
[   ]elpi_1.18.2-5build2_amd64.deb2024-09-12 11:26 1.8M 
[   ]elpi_1.18.2-5build3.debian.tar.xz2024-09-17 14:59 4.9K 
[   ]elpi_1.18.2-5build3.dsc2024-09-17 14:59 2.3K 
[   ]libelpi-ocaml-dev_1.18.2-5build3_amd64.deb2024-09-19 16:03 13M 
[   ]libelpi-ocaml_1.18.2-5build3_amd64.deb2024-09-19 16:03 3.1M 
[   ]elpi_1.18.2-5build3_amd64.deb2024-09-19 16:03 1.7M 
[   ]elpi_1.18.2-5build4.debian.tar.xz2024-11-19 14:31 4.9K 
[   ]elpi_1.18.2-5build4.dsc2024-11-19 14:31 2.3K 
[   ]libelpi-ocaml-dev_1.18.2-5build4_amd64.deb2024-11-19 14:34 13M 
[   ]libelpi-ocaml_1.18.2-5build4_amd64.deb2024-11-19 14:34 3.1M 
[   ]elpi_1.18.2-5build4_amd64.deb2024-11-19 14:34 1.7M 
[   ]elpi_1.19.6-1.dsc2024-11-20 19:47 2.4K 
[   ]elpi_1.19.6.orig.tar.gz2024-11-20 19:47 2.5M 
[   ]elpi_1.19.6-1.debian.tar.xz2024-11-20 19:47 4.8K 
[   ]libelpi-ocaml-dev_1.19.6-1_amd64.deb2024-11-20 19:48 14M 
[   ]libelpi-ocaml_1.19.6-1_amd64.deb2024-11-20 19:48 3.2M 
[   ]elpi_1.19.6-1_amd64.deb2024-11-20 19:48 1.8M