Index of /pub/Linux/debian/pool/main/o/ocsigenserver
Name
Last modified
Size
Description
Parent Directory
-
ocsigenserver_6.0.0.orig.tar.gz
2024-09-24 12:30
1.1M
ocsigenserver_6.0.0-1_s390x.deb
2024-09-24 12:46
8.7M
ocsigenserver_6.0.0-1_riscv64.deb
2024-09-24 13:52
8.8M
ocsigenserver_6.0.0-1_ppc64el.deb
2024-09-24 12:46
8.7M
ocsigenserver_6.0.0-1_mips64el.deb
2024-09-24 12:46
7.5M
ocsigenserver_6.0.0-1_i386.deb
2024-09-24 12:46
7.6M
ocsigenserver_6.0.0-1_armhf.deb
2024-09-24 12:51
7.5M
ocsigenserver_6.0.0-1_armel.deb
2024-09-24 12:51
7.5M
ocsigenserver_6.0.0-1_arm64.deb
2024-09-24 12:46
9.0M
ocsigenserver_6.0.0-1_amd64.deb
2024-09-24 12:46
8.7M
ocsigenserver_6.0.0-1.dsc
2024-09-24 12:30
2.3K
ocsigenserver_6.0.0-1.debian.tar.xz
2024-09-24 12:30
8.7K
ocsigenserver_5.0.1.orig.tar.gz
2022-01-23 13:05
1.1M
ocsigenserver_5.0.1-2_s390x.deb
2023-05-05 14:33
7.6M
ocsigenserver_5.0.1-2_ppc64el.deb
2023-05-05 14:43
7.7M
ocsigenserver_5.0.1-2_mipsel.deb
2023-05-05 14:43
6.1M
ocsigenserver_5.0.1-2_mips64el.deb
2023-05-05 14:43
6.1M
ocsigenserver_5.0.1-2_i386.deb
2023-05-05 14:28
7.5M
ocsigenserver_5.0.1-2_armhf.deb
2023-05-05 14:43
7.5M
ocsigenserver_5.0.1-2_armel.deb
2023-05-05 14:43
6.1M
ocsigenserver_5.0.1-2_arm64.deb
2023-05-05 14:43
8.0M
ocsigenserver_5.0.1-2_amd64.deb
2023-05-05 14:43
7.6M
ocsigenserver_5.0.1-2.dsc
2023-05-05 14:13
2.3K
ocsigenserver_5.0.1-2.debian.tar.xz
2023-05-05 14:13
8.4K
ocsigenserver_2.16.1.orig.tar.gz
2020-11-08 05:37
1.2M
ocsigenserver_2.16.1-1.dsc
2020-11-08 05:37
2.2K
ocsigenserver_2.16.1-1.debian.tar.xz
2020-11-08 05:37
11K
ocsigenserver_2.16.1-1+b3_s390x.deb
2020-12-19 17:17
8.6M
ocsigenserver_2.16.1-1+b3_ppc64el.deb
2020-12-19 17:12
8.7M
ocsigenserver_2.16.1-1+b3_mipsel.deb
2020-12-19 19:29
6.1M
ocsigenserver_2.16.1-1+b3_mips64el.deb
2020-12-19 17:58
6.1M
ocsigenserver_2.16.1-1+b3_i386.deb
2020-12-19 17:12
8.5M
ocsigenserver_2.16.1-1+b3_armhf.deb
2020-12-19 17:12
8.5M
ocsigenserver_2.16.1-1+b3_armel.deb
2020-12-19 17:12
6.1M
ocsigenserver_2.16.1-1+b3_arm64.deb
2020-12-19 17:12
9.1M
ocsigenserver_2.16.1-1+b3_amd64.deb
2020-12-19 17:12
8.6M
ocsigenserver-doc_6.0.0-1_all.deb
2024-09-24 12:46
72K
ocsigenserver-doc_5.0.1-2_all.deb
2023-05-05 14:33
68K
ocsigenserver-doc_2.16.1-1_all.deb
2020-11-09 06:33
87K
libocsigenserver-ocaml_6.0.0-1_s390x.deb
2024-09-24 12:46
774K
libocsigenserver-ocaml_6.0.0-1_riscv64.deb
2024-09-24 13:52
779K
libocsigenserver-ocaml_6.0.0-1_ppc64el.deb
2024-09-24 12:46
772K
libocsigenserver-ocaml_6.0.0-1_mips64el.deb
2024-09-24 12:46
526K
libocsigenserver-ocaml_6.0.0-1_i386.deb
2024-09-24 12:46
526K
libocsigenserver-ocaml_6.0.0-1_armhf.deb
2024-09-24 12:51
526K
libocsigenserver-ocaml_6.0.0-1_armel.deb
2024-09-24 12:51
526K
libocsigenserver-ocaml_6.0.0-1_arm64.deb
2024-09-24 12:46
788K
libocsigenserver-ocaml_6.0.0-1_amd64.deb
2024-09-24 12:46
770K
libocsigenserver-ocaml_5.0.1-2_s390x.deb
2023-05-05 14:33
699K
libocsigenserver-ocaml_5.0.1-2_ppc64el.deb
2023-05-05 14:43
711K
libocsigenserver-ocaml_5.0.1-2_mipsel.deb
2023-05-05 14:43
477K
libocsigenserver-ocaml_5.0.1-2_mips64el.deb
2023-05-05 14:43
477K
libocsigenserver-ocaml_5.0.1-2_i386.deb
2023-05-05 14:28
685K
libocsigenserver-ocaml_5.0.1-2_armhf.deb
2023-05-05 14:43
698K
libocsigenserver-ocaml_5.0.1-2_armel.deb
2023-05-05 14:43
477K
libocsigenserver-ocaml_5.0.1-2_arm64.deb
2023-05-05 14:43
725K
libocsigenserver-ocaml_5.0.1-2_amd64.deb
2023-05-05 14:43
702K
libocsigenserver-ocaml_2.16.1-1+b3_s390x.deb
2020-12-19 17:17
317K
libocsigenserver-ocaml_2.16.1-1+b3_ppc64el.deb
2020-12-19 17:12
323K
libocsigenserver-ocaml_2.16.1-1+b3_mipsel.deb
2020-12-19 19:29
202K
libocsigenserver-ocaml_2.16.1-1+b3_mips64el.deb
2020-12-19 17:58
202K
libocsigenserver-ocaml_2.16.1-1+b3_i386.deb
2020-12-19 17:12
308K
libocsigenserver-ocaml_2.16.1-1+b3_armhf.deb
2020-12-19 17:12
317K
libocsigenserver-ocaml_2.16.1-1+b3_armel.deb
2020-12-19 17:12
202K
libocsigenserver-ocaml_2.16.1-1+b3_arm64.deb
2020-12-19 17:12
327K
libocsigenserver-ocaml_2.16.1-1+b3_amd64.deb
2020-12-19 17:12
317K
libocsigenserver-ocaml-dev_6.0.0-1_s390x.deb
2024-09-24 12:46
2.2M
libocsigenserver-ocaml-dev_6.0.0-1_riscv64.deb
2024-09-24 13:52
2.3M
libocsigenserver-ocaml-dev_6.0.0-1_ppc64el.deb
2024-09-24 12:46
2.2M
libocsigenserver-ocaml-dev_6.0.0-1_mips64el.deb
2024-09-24 12:46
1.9M
libocsigenserver-ocaml-dev_6.0.0-1_i386.deb
2024-09-24 12:46
1.9M
libocsigenserver-ocaml-dev_6.0.0-1_armhf.deb
2024-09-24 12:51
1.9M
libocsigenserver-ocaml-dev_6.0.0-1_armel.deb
2024-09-24 12:51
1.9M
libocsigenserver-ocaml-dev_6.0.0-1_arm64.deb
2024-09-24 12:46
2.2M
libocsigenserver-ocaml-dev_6.0.0-1_amd64.deb
2024-09-24 12:46
2.2M
libocsigenserver-ocaml-dev_5.0.1-2_s390x.deb
2023-05-05 14:33
1.4M
libocsigenserver-ocaml-dev_5.0.1-2_ppc64el.deb
2023-05-05 14:43
1.4M
libocsigenserver-ocaml-dev_5.0.1-2_mipsel.deb
2023-05-05 14:43
1.1M
libocsigenserver-ocaml-dev_5.0.1-2_mips64el.deb
2023-05-05 14:43
1.1M
libocsigenserver-ocaml-dev_5.0.1-2_i386.deb
2023-05-05 14:28
1.4M
libocsigenserver-ocaml-dev_5.0.1-2_armhf.deb
2023-05-05 14:43
1.4M
libocsigenserver-ocaml-dev_5.0.1-2_armel.deb
2023-05-05 14:43
1.1M
libocsigenserver-ocaml-dev_5.0.1-2_arm64.deb
2023-05-05 14:43
1.4M
libocsigenserver-ocaml-dev_5.0.1-2_amd64.deb
2023-05-05 14:43
1.4M
libocsigenserver-ocaml-dev_2.16.1-1+b3_s390x.deb
2020-12-19 17:17
964K
libocsigenserver-ocaml-dev_2.16.1-1+b3_ppc64el.deb
2020-12-19 17:12
1.0M
libocsigenserver-ocaml-dev_2.16.1-1+b3_mipsel.deb
2020-12-19 19:29
617K
libocsigenserver-ocaml-dev_2.16.1-1+b3_mips64el.deb
2020-12-19 17:58
617K
libocsigenserver-ocaml-dev_2.16.1-1+b3_i386.deb
2020-12-19 17:12
1.0M
libocsigenserver-ocaml-dev_2.16.1-1+b3_armhf.deb
2020-12-19 17:12
1.0M
libocsigenserver-ocaml-dev_2.16.1-1+b3_armel.deb
2020-12-19 17:12
617K
libocsigenserver-ocaml-dev_2.16.1-1+b3_arm64.deb
2020-12-19 17:12
973K
libocsigenserver-ocaml-dev_2.16.1-1+b3_amd64.deb
2020-12-19 17:12
972K
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443