Index of /packages/linux-ubuntu/pool/universe/m/morbig
Name
Last modified
Size
Description
Parent Directory
-
morbig_0.10.4.orig.tar.xz
2020-01-31 19:13
88K
morbig_0.10.4-3.debian.tar.xz
2020-02-13 00:13
4.5K
morbig_0.10.4-3.dsc
2020-02-13 00:13
2.2K
libmorbig-ocaml-dev_0.10.4-3_amd64.deb
2020-02-24 19:53
4.1M
morbig_0.10.4-3_amd64.deb
2020-02-24 19:53
743K
morbig_0.10.4-5build3.debian.tar.xz
2022-01-25 19:31
4.8K
morbig_0.10.4-5build3.dsc
2022-01-25 19:31
2.4K
morbig_0.10.4-5build3_amd64.deb
2022-01-25 19:31
956K
libmorbig-ocaml-dev_0.10.4-5build3_amd64.deb
2022-01-25 19:31
6.0M
morbig_0.10.4-6build2.debian.tar.xz
2023-02-16 08:29
5.1K
morbig_0.10.4-6build2.dsc
2023-02-16 08:29
2.3K
morbig_0.10.4-6build2_amd64.deb
2023-02-16 14:54
946K
libmorbig-ocaml-dev_0.10.4-6build2_amd64.deb
2023-02-16 14:54
6.0M
morbig_0.11.0.orig.tar.xz
2024-03-01 06:13
96K
morbig_0.11.0-1build1.debian.tar.xz
2024-03-31 22:32
5.0K
morbig_0.11.0-1build1.dsc
2024-03-31 22:32
2.4K
morbig_0.11.0-1build1_amd64.deb
2024-03-31 22:35
885K
libmorbig-ocaml-dev_0.11.0-1build1_amd64.deb
2024-03-31 22:35
6.3M
morbig_0.11.0-3build1.debian.tar.xz
2024-09-06 19:47
5.3K
morbig_0.11.0-3build1.dsc
2024-09-06 19:47
2.3K
morbig_0.11.0-3build1_amd64.deb
2024-09-06 20:54
961K
libmorbig-ocaml-dev_0.11.0-3build1_amd64.deb
2024-09-06 20:54
6.7M
morbig_0.11.0-3build2.debian.tar.xz
2024-11-19 14:31
5.3K
morbig_0.11.0-3build2.dsc
2024-11-19 14:31
2.3K
morbig_0.11.0-3build2_amd64.deb
2024-11-19 14:34
961K
libmorbig-ocaml-dev_0.11.0-3build2_amd64.deb
2024-11-19 14:34
6.7M
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443