uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/c/coq-elpi/

Show dotfiles
Name
Last modified
Size
../
-
-
coq-elpi_1.13.0-1.debian.tar.xz
10-Feb-2022 23:14
2.52 KB
coq-elpi_1.13.0-1.dsc
10-Feb-2022 23:14
2.04 KB
coq-elpi_1.13.0.orig.tar.gz
10-Feb-2022 23:14
351.61 KB
coq-elpi_1.19.3-2build4.debian.tar.xz
08-Apr-2024 07:57
3.76 KB
coq-elpi_1.19.3-2build4.dsc
08-Apr-2024 07:57
2.06 KB
coq-elpi_1.19.3.orig.tar.gz
22-Dec-2023 17:26
558.28 KB
coq-elpi_2.4.0-1build1.debian.tar.xz
18-Feb-2025 21:25
3.76 KB
coq-elpi_2.4.0-1build1.dsc
18-Feb-2025 21:25
2.02 KB
coq-elpi_2.4.0.orig.tar.gz
18-Feb-2025 01:39
717.53 KB
coq-elpi_2.5.0-1.1build1.debian.tar.xz
31-Aug-2025 19:42
3.84 KB
coq-elpi_2.5.0-1.1build1.dsc
31-Aug-2025 19:42
2.03 KB
coq-elpi_2.5.0-1.2build1.debian.tar.xz
03-Jan-2026 19:11
3.88 KB
coq-elpi_2.5.0-1.2build1.dsc
03-Jan-2026 19:11
2.03 KB
coq-elpi_2.5.0-1.2build3.debian.tar.xz
01-Mar-2026 15:46
3.95 KB
coq-elpi_2.5.0-1.2build3.dsc
01-Mar-2026 15:46
2.03 KB
coq-elpi_2.5.0.orig.tar.gz
01-May-2025 16:23
728.48 KB
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb
10-Feb-2022 23:34
1.63 MB
libcoq-elpi-ocaml_1.13.0-1_amd64.deb
10-Feb-2022 23:34
4.76 MB
libcoq-elpi_1.19.3-2build4_amd64.deb
08-Apr-2024 07:57
3.03 MB
libcoq-elpi_2.4.0-1build1_amd64.deb
18-Feb-2025 21:25
12.91 MB
libcoq-elpi_2.5.0-1.1build1_amd64.deb
01-Sep-2025 03:34
12.45 MB
libcoq-elpi_2.5.0-1.2build1_amd64.deb
04-Jan-2026 23:06
13.35 MB
libcoq-elpi_2.5.0-1.2build1_amd64v3.deb
04-Jan-2026 23:06
13.35 MB
libcoq-elpi_2.5.0-1.2build3_amd64.deb
01-Mar-2026 15:46
13.35 MB
libcoq-elpi_2.5.0-1.2build3_amd64v3.deb
01-Mar-2026 19:51
13.39 MB