Globalintermedia
Miror Server PT Global Intermedia Nusantara

Index of /raspbian/pool/main/o/ocp-indent/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
ocp-indent_1.7.0-1.debian.tar.xz 164202018-Dec-16 18:19
ocp-indent_1.7.0.orig.tar.gz 1265772018-Dec-16 18:19
ocp-indent_1.7.0-1.dsc 21952018-Dec-16 18:19
libocp-indent-ocaml-dev_1.7.0-1_armhf.deb 4980842019-Jan-18 16:08
ocp-indent_1.7.0-1_armhf.deb 4294122019-Jan-18 16:08
libocp-indent-ocaml_1.7.0-1_armhf.deb 2334722019-Jan-18 16:08
ocp-indent_1.8.2.orig.tar.gz 1096812020-Aug-18 08:06
ocp-indent_1.8.2-1.debian.tar.xz 164082020-Aug-18 08:06
ocp-indent_1.8.2-1.dsc 19632020-Aug-18 08:06
libocp-indent-ocaml_1.8.2-1+b1_armhf.deb 2714402020-Nov-09 01:23
ocp-indent_1.8.2-1+b1_armhf.deb 8339082020-Nov-09 01:23
libocp-indent-ocaml-dev_1.8.2-1+b1_armhf.deb 5659002020-Nov-09 01:23
ocp-indent_1.8.2-2.dsc 21922022-Oct-15 05:50
ocp-indent_1.8.2-2.debian.tar.xz 165762022-Oct-15 05:50
libocp-indent-ocaml-dev_1.8.2-2+b2_armhf.deb 5702442023-May-20 16:08
ocp-indent_1.8.2-2+b2_armhf.deb 8754722023-May-20 16:08
libocp-indent-ocaml_1.8.2-2+b2_armhf.deb 2732362023-May-20 16:08
ocp-indent_1.8.2-5.dsc 19932023-Sep-13 04:43
ocp-indent_1.8.2-5.debian.tar.xz 166002023-Sep-13 04:43
ocp-indent_1.8.2-5+b2_armhf.deb 3886642024-Sep-06 10:08
libocp-indent-ocaml-dev_1.8.2-5+b2_armhf.deb 6689362024-Sep-06 10:08
libocp-indent-ocaml_1.8.2-5+b2_armhf.deb 2002722024-Sep-06 10:08