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

Configure Feed

Select the types of activity you want to include in your feed.

"using" directive do not add menhir dependency

Thibault Martin 3a786d44 08739f6f

+2
+1
packages/frama-c-luncov/frama-c-luncov.0.2.1/opam
··· 2 2 depends: [ 3 3 "ocaml" {>= "4.13.1"} 4 4 "dune" {>= "3.7" & != "3.13.0"} 5 + "menhir" {build} 5 6 "frama-c" {>= "29.0~" & < "30.0~"} 6 7 "odoc" {with-doc} 7 8 ]
+1
packages/lreplay/lreplay.0.1.1/opam
··· 26 26 "base-unix" 27 27 "ocaml" {>= "4.13.1"} 28 28 "dune" {>= "3.7" & != "3.13.0"} 29 + "menhir" {build} 29 30 "odoc" {with-doc} 30 31 ] 31 32 build: [