Index of /packages/linux-ubuntu/pool/universe/o/opam-file-format

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]opam-file-format_2.0.0-2.dsc2020-02-24 12:13 1.8K 
[TXT]opam-file-format_2.1.5-1.dsc2023-01-25 01:01 1.8K 
[TXT]opam-file-format_2.1.6-1build1.dsc2023-11-02 11:34 2.0K 
[TXT]opam-file-format_2.1.6-2build1.dsc2024-08-09 15:49 2.0K 
[TXT]opam-file-format_2.1.3-1build1.dsc2022-01-24 22:29 2.0K 
[   ]opam-file-format_2.0.0-2.debian.tar.xz2020-02-24 12:13 2.7K 
[   ]opam-file-format_2.1.5-1.debian.tar.xz2023-01-25 01:01 3.0K 
[   ]opam-file-format_2.1.3-1build1.debian.tar.xz2022-01-24 22:29 3.0K 
[   ]opam-file-format_2.1.6-1build1.debian.tar.xz2023-11-02 11:34 3.0K 
[   ]opam-file-format_2.1.6-2build1.debian.tar.xz2024-08-09 15:49 3.1K 
[   ]opam-file-format_2.0.0.orig.tar.gz2018-08-03 01:18 31K 
[   ]opam-file-format_2.1.3.orig.tar.gz2021-11-30 00:14 35K 
[   ]libopam-file-format-ocaml-dev_2.0.0-2_amd64.deb2020-02-24 12:18 36K 
[   ]opam-file-format_2.1.5.orig.tar.gz2023-01-25 01:01 36K 
[   ]opam-file-format_2.1.6.orig.tar.gz2023-07-21 13:54 36K 
[   ]libopam-file-format-ocaml-dev_2.1.6-2build1_amd64.deb2024-08-10 05:45 68K 
[   ]libopam-file-format-ocaml-dev_2.1.5-1_amd64.deb2023-01-25 01:03 70K 
[   ]libopam-file-format-ocaml-dev_2.1.6-1build1_amd64.deb2023-11-02 11:35 70K 
[   ]libopam-file-format-ocaml-dev_2.1.3-1build1_amd64.deb2022-01-24 22:30 71K 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443