commit 8adb7f76aaa9ba90f5829d9006a7b5ace8fe3b82 · anil.recoil.org/opam-repository

+1 -1

packages/herdtools7/herdtools7.7.42-beta.3/opam

···

       13
       13
        
       install: ["./install.sh" "%{prefix}%"]

     

       14
       14
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml" {>= "4.02.0"}

     

       16
       16
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis: "This is herdtools7, a tool suite to test weak memory models."

+1 -1

packages/herdtools7/herdtools7.7.42/opam

···

       13
       13
        
       install: ["./install.sh" "%{prefix}%"]

     

       14
       14
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml" {>= "4.02.0"}

     

       16
       16
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis: "This is herdtools7, a tool suite to test weak memory models."

+1 -1

packages/herdtools7/herdtools7.7.43/opam

···

       13
       13
        
       install: ["./install.sh" "%{prefix}%"]

     

       14
       14
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml" {>= "4.02.0"}

     

       16
       16
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis:

+1 -1

packages/herdtools7/herdtools7.7.44/opam

···

       13
       13
        
       install: ["./install.sh" "%{prefix}%"]

     

       14
       14
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml" {>= "4.02.0"}

     

       16
       16
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis: "herdtools7, a tool suite for shared memory models."

+1 -1

packages/herdtools7/herdtools7.7.45/opam

···

       13
       13
        
       install: ["./install.sh" "%{prefix}%"]

     

       14
       14
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml" {>= "4.02.0"}

     

       16
       16
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis: "herdtools7, a tool suite for shared memory models."

+1 -1

packages/herdtools7/herdtools7.7.46/opam

···

       13
       13
        
       install: ["./install.sh" "%{prefix}%"]

     

       14
       14
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml" {>= "4.02.0"}

     

       16
       16
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis: "herdtools7, a tool suite for shared memory models."

+1 -1

packages/herdtools7/herdtools7.7.47/opam

···

       13
       13
        
       install: ["./install.sh" "%{prefix}%"]

     

       14
       14
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml" {>= "4.02.0"}

     

       16
       16
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis: "herdtools7, a tool suite for shared memory models."

+1 -1

packages/herdtools7/herdtools7.7.48/opam

···

       13
       13
        
       install: ["./install.sh" "%{prefix}%"]

     

       14
       14
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml" {>= "4.02.0"}

     

       16
       16
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis: "herdtools7, a tool suite for shared memory models."

+1 -1

packages/herdtools7/herdtools7.7.49/opam

···

       13
       13
        
       install: ["./install.sh" "%{prefix}%"]

     

       14
       14
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml" {>= "4.02.0"}

     

       16
       16
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis: "herdtools7, a tool suite for shared memory models."

+1 -1

packages/herdtools7/herdtools7.7.50/opam

···

       13
       13
        
       install: ["./install.sh" "%{prefix}%"]

     

       14
       14
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml" {>= "4.02.0"}

     

       16
       16
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis: "herdtools7, a tool suite for shared memory models."

+1 -1

packages/herdtools7/herdtools7.7.51/opam

···

       13
       13
        
       install: ["./install.sh" "%{prefix}%"]

     

       14
       14
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml" {>= "4.02.0"}

     

       16
       16
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
        
       ]

     

       19
       19
        
       synopsis: "herdtools7, a tool suite for shared memory models."

+1 -1

packages/herdtools7/herdtools7.7.52/opam

···

       16
       16
        
       # @todo Add "build-test" field

     

       17
       17
        
       remove: ["./uninstall.sh" "%{prefix}%"]

     

       18
       18
        
       depends: [

     

       19
       19
       -
         "ocaml" {>= "4.02.0"}

     

       19
       19
       +
         "ocaml" {>= "4.02.0" & < "5.0.0"}

     

       20
       20
        
         "ocamlbuild" {build}

     

       21
       21
        
       ]

     

       22
       22
        
       url {