Index of /ubuntu/pool/universe/o/opam
Name Last modified Size Description
Parent Directory -
opam_2.2.1.orig.tar.gz 2024-09-04 00:50 1.0M
opam_2.2.1-1_amd64.deb 2024-09-08 20:09 3.0M
opam_2.2.1-1.dsc 2024-09-04 00:50 2.5K
opam_2.2.1-1.debian.tar.xz 2024-09-04 00:50 7.8K
opam_2.1.5.orig.tar.gz 2023-09-04 10:49 819K
opam_2.1.5-1_amd64.deb 2023-09-04 10:50 2.5M
opam_2.1.5-1.dsc 2023-09-04 10:49 2.4K
opam_2.1.5-1.debian.tar.xz 2023-09-04 10:49 8.4K
opam_2.1.2.orig.tar.gz 2022-02-15 06:20 787K
opam_2.1.2-1_amd64.deb 2022-02-15 07:10 2.5M
opam_2.1.2-1.dsc 2022-02-15 06:20 2.2K
opam_2.1.2-1.debian.tar.xz 2022-02-15 06:20 10K
opam_2.0.5.orig.tar.gz 2019-08-18 01:13 605K
opam_2.0.5-1ubuntu1_amd64.deb 2020-04-13 04:33 1.9M
opam_2.0.5-1ubuntu1.dsc 2020-04-13 04:28 2.6K
opam_2.0.5-1ubuntu1.debian.tar.xz 2020-04-13 04:28 8.7K
opam_1.2.2.orig.tar.gz 2015-07-30 13:19 401K
opam_1.2.2-6_i386.deb 2017-07-22 07:18 1.9M
opam_1.2.2-6_amd64.deb 2017-07-22 07:18 2.2M
opam_1.2.2-6.dsc 2017-07-22 07:08 2.3K
opam_1.2.2-6.debian.tar.xz 2017-07-22 07:08 7.1K
opam_1.2.2-4_i386.deb 2015-12-23 00:20 1.4M
opam_1.2.2-4_amd64.deb 2015-12-23 00:20 1.4M
opam_1.2.2-4.dsc 2015-12-23 00:19 2.3K
opam_1.2.2-4.debian.tar.xz 2015-12-23 00:19 6.6K
opam_1.1.1.orig.tar.gz 2014-02-02 18:13 297K
opam_1.1.1-1_i386.deb 2014-02-02 18:39 1.0M
opam_1.1.1-1_amd64.deb 2014-02-02 18:38 1.1M
opam_1.1.1-1.dsc 2014-02-02 18:13 2.2K
opam_1.1.1-1.debian.tar.xz 2014-02-02 18:13 5.7K
opam-installer_2.2.1-1_amd64.deb 2024-09-08 20:09 1.4M
opam-installer_2.1.5-1_amd64.deb 2023-09-04 10:50 1.2M
opam-installer_2.1.2-1_amd64.deb 2022-02-15 07:10 1.2M
opam-installer_2.0.5-1ubuntu1_amd64.deb 2020-04-13 04:33 1.0M
opam-docs_1.2.2-6_all.deb 2017-07-22 07:18 302K
opam-docs_1.2.2-4_all.deb 2015-12-23 00:20 302K
opam-docs_1.1.1-1_all.deb 2014-02-02 18:38 254K
opam-doc_2.2.1-1_all.deb 2024-09-08 20:09 322K
opam-doc_2.1.5-1_all.deb 2023-09-04 10:50 289K
opam-doc_2.1.2-1_all.deb 2022-02-15 07:10 285K
opam-doc_2.0.5-1ubuntu1_all.deb 2020-04-13 04:33 197K
Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443