Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
  • 10 commits
  • 17 files changed
  • 0 comments
  • 2 contributors
BIN  archives/camlzip.1.05+opam.tar.gz
Binary file not shown
BIN  archives/coq.8.3+opam.tar.gz
Binary file not shown
BIN  archives/javalib.2.2.2+opam.tar.gz
Binary file not shown
BIN  archives/melt.1.4.0+opam.tar.gz
Binary file not shown
BIN  archives/ocamlnet.3.5.1+opam.tar.gz
Binary file not shown
BIN  archives/ocamlnet.3.6.0+opam.tar.gz
Binary file not shown
BIN  archives/ocsigenserver.2.1+opam.tar.gz
Binary file not shown
1  packages/camlzip.1.05/descr
... ...
@@ -1 +0,0 @@
1  
-Provides easy access to compressed files in ZIP, GZIP and JAR format
11  packages/camlzip.1.05/opam
... ...
@@ -1,11 +0,0 @@
1  
-opam-version: "1"
2  
-maintainer: "contact@ocamlpro.com"
3  
-build: [
4  
-  ["%{make}%" "all"]
5  
-  ["%{make}%" "allopt"]
6  
-  ["%{make}%" "install-findlib"]
7  
-]
8  
-remove: [
9  
-  ["ocamlfind" "remove" "zip"]
10  
-]
11  
-depends: [ "ocamlfind" ]
2  packages/camlzip.1.05/url
... ...
@@ -1,2 +0,0 @@
1  
-archive: "http://forge.ocamlcore.org/frs/download.php/1037/camlzip-1.05.tar.gz"
2  
-checksum: "e85c179d5dc79821e6e8d90e636599f1"
8  packages/coq.8.3/opam
@@ -2,11 +2,11 @@ opam-version: "1"
2 2
 maintainer: "contact@ocamlpro.com"
3 3
 build: [
4 4
   ["./configure"
5  
-     "-configdir" "%{lib}%/coq/config"
6  
-     "-mandir" "%{man}%"
7  
-     "-docdir" "%{doc}%"
8  
-     "--prefix" "%{prefix}%"]
  5
+     "-camlp5dir" "%{lib}%/camlp5"
  6
+     "--prefix" "%{prefix}%"
  7
+     "-docdir" "%{doc}%"]
9 8
   ["%{make}%" "world"]
10 9
   ["%{make}%" "install"]
11 10
 ]
  11
+depends: ["camlp5"]
12 12
 depopts: ["lablgtk" {= "2.14.2-oasis8"}]
4  packages/coq.8.3/url
... ...
@@ -1,2 +1,2 @@
1  
-archive: "http://coq.inria.fr/distrib/V8.3/files/coq-8.3.tar.gz"
2  
-checksum: "14b80e6b7075adf1516ab931202be8df"
  1
+archive: "http://coq.inria.fr/distrib/V8.3pl5/files/coq-8.3pl5.tar.gz"
  2
+checksum: "b16741e211e98a3a3870a105aa0cb9fe"
6  packages/javalib.2.2.2/opam
@@ -11,4 +11,8 @@ remove: [
11 11
   ["ocamlfind" "remove" "javalib"]
12 12
   ["ocamlfind" "remove" "ptrees"]
13 13
 ]
14  
-depends: [ "ocamlfind" "camlzip" "extlib" ]
  14
+depends: [
  15
+  "ocamlfind"
  16
+  "camlzip" {= "1.04"}
  17
+  "extlib"
  18
+]
6  packages/melt.1.4.0/opam
@@ -8,4 +8,8 @@ build: [
8 8
 remove: [
9 9
   ["ocamlfind" "remove" "melt"]
10 10
 ]
11  
-depends: ["mlpost"]
  11
+depends: [
  12
+  "mlpost"
  13
+  "cairo1" {= "ocaml-1.2.0"}
  14
+]
  15
+
2  packages/ocamlnet.3.5.1/opam
@@ -40,7 +40,7 @@ depopts: [
40 40
   "lablgtk" {= "2.14.2-oasis8"}
41 41
   "pcre-ocaml"
42 42
   "ssl"
43  
-  "camlzip"
  43
+  "camlzip" {= "1.04"}
44 44
   "cryptokit"
45 45
 ]
46 46
 ocaml-version: [< "4.00.0"]
2  packages/ocamlnet.3.6.0/opam
@@ -41,6 +41,6 @@ depopts: [
41 41
   "lablgtk" {= "2.14.2-oasis8"}
42 42
   "pcre-ocaml"
43 43
   "ssl"
44  
-  "camlzip"
  44
+  "camlzip" {= "1.04"}
45 45
   "cryptokit"
46 46
 ]
2  packages/ocsigenserver.2.1/opam
@@ -21,5 +21,5 @@ depends: [
21 21
 ]
22 22
 depopts: [
23 23
   "sqlite3-ocaml"
24  
-  "camlzip"
  24
+  "camlzip" {= "1.04"}
25 25
 ]

No commit comments for this range

Something went wrong with that request. Please try again.