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

Apply suggestions from code review

Marcello Seri c27832a6 2171c4a8

options
unified split
Changed files
+3 -3
packages
menhirCST
menhirCST.20240715
opam
menhirLib
menhirLib.20240715
opam
menhirSdk
menhirSdk.20240715
opam
+1 -1
packages/menhirCST/menhirCST.20240715/opam 
···

       
7

       
 

       
homepage: "http://gitlab.inria.fr/fpottier/menhir"


     

       
8

       
 

       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"


     

       
9

       
 

       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"


     

       
10

       
-

       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"


     

       
11

       
 

       
build: [


     

       
12

       
 

       
  ["dune" "build" "-p" name "-j" jobs]


     

       
13

       
 

       
]


     
···

       
7

       
 

       
homepage: "http://gitlab.inria.fr/fpottier/menhir"


     

       
8

       
 

       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"


     

       
9

       
 

       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"


     

       
10

       
+

       
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"


     

       
11

       
 

       
build: [


     

       
12

       
 

       
  ["dune" "build" "-p" name "-j" jobs]


     

       
13

       
 

       
]
+1 -1
packages/menhirLib/menhirLib.20240715/opam 
···

       
8

       
 

       
homepage: "http://gitlab.inria.fr/fpottier/menhir"


     

       
9

       
 

       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"


     

       
10

       
 

       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"


     

       
11

       
-

       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"


     

       
12

       
 

       
build: [


     

       
13

       
 

       
  ["dune" "build" "-p" name "-j" jobs]


     

       
14

       
 

       
]


     
···

       
8

       
 

       
homepage: "http://gitlab.inria.fr/fpottier/menhir"


     

       
9

       
 

       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"


     

       
10

       
 

       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"


     

       
11

       
+

       
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"


     

       
12

       
 

       
build: [


     

       
13

       
 

       
  ["dune" "build" "-p" name "-j" jobs]


     

       
14

       
 

       
]
+1 -1
packages/menhirSdk/menhirSdk.20240715/opam 
···

       
8

       
 

       
homepage: "http://gitlab.inria.fr/fpottier/menhir"


     

       
9

       
 

       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"


     

       
10

       
 

       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"


     

       
11

       
-

       
license: "LGPL-2.0-only with OCaml-LGPL-linking-exception"


     

       
12

       
 

       
build: [


     

       
13

       
 

       
  ["dune" "build" "-p" name "-j" jobs]


     

       
14

       
 

       
]


     
···

       
8

       
 

       
homepage: "http://gitlab.inria.fr/fpottier/menhir"


     

       
9

       
 

       
dev-repo: "git+https://gitlab.inria.fr/fpottier/menhir.git"


     

       
10

       
 

       
bug-reports: "https://gitlab.inria.fr/fpottier/menhir/-/issues"


     

       
11

       
+

       
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"


     

       
12

       
 

       
build: [


     

       
13

       
 

       
  ["dune" "build" "-p" name "-j" jobs]


     

       
14

       
 

       
]