this repo has no description
0
fork

Configure Feed

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

Merge pull request #27105 from ftovagliari/opam-publish-ocamleditor.1.16.0-ocaml414

Package ocamleditor.1.16.0-ocaml414

authored by

Marcello Seri and committed by
GitHub
f1710f83 37230f68

+41
+41
packages/ocamleditor/ocamleditor.1.16.0-ocaml414/opam
··· 1 + opam-version: "2.0" 2 + 3 + synopsis: 4 + "OCamlEditor is a GTK+ source code editor and build tool for OCaml" 5 + description: 6 + """It provides many features to facilitate editing code, accessing API reference 7 + directly from the editor and compiling projects.""" 8 + 9 + authors: ["OCamlEditor developers"] 10 + maintainer: ["OCamlEditor developers"] 11 + 12 + license: "LGPL-3.0-only" 13 + homepage: "https://github.com/ocamleditor/ocamleditor" 14 + bug-reports: "https://github.com/ocamleditor/ocamleditor/issues" 15 + dev-repo: "git+https://github.com/ocamleditor/ocamleditor.git" 16 + 17 + build: [["ocaml" "build.ml" "ocamleditor"]] 18 + install: [["ocaml" "tools/install.ml" "-prefix" prefix]] 19 + 20 + depends: [ 21 + "ocaml" {>= "4.14" & < "5"} 22 + "ocamlfind" {>= "1.4.0"} 23 + "lablgtk" {>= "2.18.0"} 24 + "ocp-indent" { >= "1.8.0" } 25 + "xml-light" {>= "2.5"} 26 + "yojson" {>= "2.1"} 27 + "atdgen" {>= "2.12"} 28 + "ocamldiff" {>= "1.2"} 29 + "merlin" {>= "4.9"} 30 + ] 31 + depopts: [ 32 + "ocurl" 33 + ] 34 + url { 35 + src: 36 + "https://github.com/ocamleditor/ocamleditor/archive/refs/tags/1.16.0-ocaml414.tar.gz" 37 + checksum: [ 38 + "md5=f1e6b14829fec858bc6e506f65db9981" 39 + "sha512=40123f79680c62350f2b0ad69c28ce1ecb65bd31823b9fda0e55db686b9aba01834a58714faf8efe61e1f32df564473207ea187ec30a522d1d551cff807f61c9" 40 + ] 41 + }