anil.recoil.org / opam-repository
this repo has no description
fork atom

Actually, the constraints on the ocaml version no longer holds

erwan 3679fc67 68e25352

options
unified split
Changed files
+5 -5
packages
bddrand
bddrand.2.71.10
opam
ezdl
ezdl.2.71.10
opam
gbddml
gbddml.2.71.10
opam
lutin
lutin.2.71.10
opam
polka
polka.2.71.10
opam
+1 -1
packages/bddrand/bddrand.2.71.10/opam 
···

       
10

       
10

       
 

       
dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"


     

       
11

       
11

       
 

       
bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"


     

       
12

       
12

       
 

       
depends: [


     

       
13

       

       
-

       
  "ocaml" {>= "4.05"}


     

       

       
13

       
+

       
  "ocaml"


     

       
14

       
14

       
 

       
  "base-unix" {build}


     

       
15

       
15

       
 

       
  "dune" {>= "2.0"}


     

       
16

       
16

       
 

       
  "lutin"{>= "2.71.10"}
+1 -1
packages/ezdl/ezdl.2.71.10/opam 
···

       
11

       
11

       
 

       
dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"


     

       
12

       
12

       
 

       
bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"


     

       
13

       
13

       
 

       
depends: [


     

       
14

       

       
-

       
  "ocaml" {>= "4.05"}


     

       

       
14

       
+

       
  "ocaml"


     

       
15

       
15

       
 

       
  "base-unix" {build}


     

       
16

       
16

       
 

       
  "camlidl"


     

       
17

       
17

       
 

       
  "dune" {>= "2.0"}
+1 -1
packages/gbddml/gbddml.2.71.10/opam 
···

       
9

       
9

       
 

       
bug-reports:


     

       
10

       
10

       
 

       
  "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"


     

       
11

       
11

       
 

       
depends: [


     

       
12

       

       
-

       
  "ocaml" {>= "4.05"}


     

       

       
12

       
+

       
  "ocaml"


     

       
13

       
13

       
 

       
  "base-unix" {build}


     

       
14

       
14

       
 

       
  "dune" {>= "2.0"}


     

       
15

       
15

       
 

       
  "camlidl" {>= "1.09"}
+1 -1
packages/lutin/lutin.2.71.10/opam 
···

       
15

       
15

       
 

       
dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"


     

       
16

       
16

       
 

       
bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin/issues" 


     

       
17

       
17

       
 

       
depends: [


     

       
18

       

       
-

       
  "ocaml" {>= "4.05"}


     

       

       
18

       
+

       
  "ocaml"


     

       
19

       
19

       
 

       
  "base-bigarray"


     

       
20

       
20

       
 

       
  "conf-gmp"


     

       
21

       
21

       
 

       
  "conf-mpfr"
+1 -1
packages/polka/polka.2.71.10/opam 
···

       
10

       
10

       
 

       
dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"


     

       
11

       
11

       
 

       
bug-reports: "http://www-verimag.imag.fr/Lutin.html"


     

       
12

       
12

       
 

       
depends: [


     

       
13

       

       
-

       
  "ocaml" {>= "4.05"}


     

       

       
13

       
+

       
  "ocaml"


     

       
14

       
14

       
 

       
  "base-bigarray"


     

       
15

       
15

       
 

       
  "conf-gmp"


     

       
16

       
16

       
 

       
  "conf-mpfr"