-
Notifications
You must be signed in to change notification settings - Fork 1.2k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'master' into directories.0.6
- Loading branch information
Showing
25 changed files
with
462 additions
and
16 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,45 @@ | ||
opam-version: "2.0" | ||
synopsis: "Arbitrary-precision floating-point decimal library" | ||
description: """ | ||
Arbitrary-precision floating-point decimal library ported from | ||
the Python decimal module.""" | ||
maintainer: ["Yawar Amin <[email protected]>"] | ||
authors: ["Yawar Amin <[email protected]>"] | ||
license: "PSF-2.0" | ||
homepage: "https://github.com/yawaramin/ocaml-decimal" | ||
doc: "https://yawaramin.github.io/ocaml-decimal/api" | ||
bug-reports: "https://github.com/yawaramin/ocaml-decimal/issues" | ||
depends: [ | ||
"dune" {>= "2.7"} | ||
"alcotest" {>= "1.5.0" & < "2.0.0" & with-test} | ||
"angstrom" {>= "0.15.0" & < "1.0.0" & with-test} | ||
"ocaml" {>= "4.08.0"} | ||
"zarith" {>= "1.10" & < "2.0.0"} | ||
"odoc" {with-doc} | ||
] | ||
build: [ | ||
["dune" "subst"] {dev} | ||
[ | ||
"dune" | ||
"build" | ||
"-p" | ||
name | ||
"-j" | ||
jobs | ||
"@install" | ||
"@runtest" {with-test} | ||
"@doc" {with-doc} | ||
] | ||
] | ||
dev-repo: "git+https://github.com/yawaramin/ocaml-decimal.git" | ||
available: | ||
arch = "arm64" | arch = "x86_64" | ||
url { | ||
src: | ||
"https://github.com/yawaramin/ocaml-decimal/releases/download/v1.0.2/decimal-1.0.2.tbz" | ||
checksum: [ | ||
"sha256=39ba0f5b8f0c6943422ca08b26ea37c0aa4fdfacd29a40d9c195d48f5513fe6c" | ||
"sha512=6157fccb1149e255897b7aa3f58ba33bb3a01c8c0a048f0f315325bd4bf4ef30b580e506c69c05c24e292f602409f0e21f9796d49a2c1bc3a20200d30faa3c56" | ||
] | ||
} | ||
x-commit-hash: "1cc6a88c733f3acb7496252448e7fcbf0a8792c9" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,43 @@ | ||
opam-version: "2.0" | ||
synopsis: "HTML generator eDSL for Dream" | ||
description: | ||
"Write HTML directly in your OCaml source files with editor support." | ||
maintainer: ["Yawar Amin <[email protected]>"] | ||
authors: ["Yawar Amin <[email protected]>"] | ||
license: "GPL-3.0-or-later" | ||
tags: ["org:yawaramin"] | ||
homepage: "https://github.com/yawaramin/dream-html" | ||
doc: "https://yawaramin.github.io/dream-html/" | ||
bug-reports: "https://github.com/yawaramin/dream-html/issues" | ||
depends: [ | ||
"dune" {>= "3.0"} | ||
"ocaml" {>= "4.14.0"} | ||
"ppxlib" {>= "0.33.0" & < "1.0.0"} | ||
"pure-html" {= version} | ||
"dream" {>= "1.0.0~alpha8"} | ||
"odoc" {with-doc} | ||
] | ||
build: [ | ||
["dune" "subst"] {dev} | ||
[ | ||
"dune" | ||
"build" | ||
"-p" | ||
name | ||
"-j" | ||
jobs | ||
"@install" | ||
"@runtest" {with-test} | ||
"@doc" {with-doc} | ||
] | ||
] | ||
dev-repo: "git+https://github.com/yawaramin/dream-html.git" | ||
url { | ||
src: | ||
"https://github.com/yawaramin/dream-html/releases/download/v3.10.0/dream-html-3.10.0.tbz" | ||
checksum: [ | ||
"sha256=64c4eefc0ff2a7a8d6f7de5a0242e2d0a5044e50ce0bc292b7c356509cb28346" | ||
"sha512=0528e6fe044626c5f663f4d0fddf79a2b497b69c90d7aa656e9b8c789b1a68a5464a7a0f8f6a81001d3429e6906a6f7e33cd2a9fb6f5f3f1564bfa45ae4e9d57" | ||
] | ||
} | ||
x-commit-hash: "ed9a3dd73b2e5360ab0abb50ec3ed909755c2113" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,62 @@ | ||
opam-version: "2.0" | ||
maintainer: "[email protected]" | ||
authors: ["Jacques Garrigue et al., Nagoya University"] | ||
homepage: "https://garrigue.github.io/lablgtk/" | ||
bug-reports: "https://github.com/garrigue/lablgtk/issues" | ||
dev-repo: "git+https://github.com/garrigue/lablgtk.git" | ||
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" | ||
build: [ | ||
["./configure" "--prefix" prefix "LABLGLDIR=%{lib}%/lablgl"] | ||
[make "world"] | ||
] | ||
install: [ | ||
[make "install"] | ||
] | ||
depends: [ | ||
"ocaml" {>= "4.06"} | ||
"ocamlfind" {>= "1.2.1"} | ||
"conf-gtk2" {build} | ||
"camlp-streams" {build} | ||
] | ||
depopts: [ | ||
"conf-gtksourceview" | ||
"conf-gnomecanvas" | ||
"conf-glade" | ||
"lablgl" | ||
] | ||
conflicts: [ | ||
"conf-glade" {ocaml:version >= "5.0"} | ||
] | ||
patches: ["lablgldir.patch"] | ||
post-messages: [ | ||
"This package requires gtk+ 2.0 development packages installed on your system" | ||
{failure} | ||
""" | ||
To solve pkg-config issues, you may need to do | ||
'export PKG_CONFIG_PATH=/opt/X11/lib/pkgconfig' and retry""" | ||
{failure & os = "macos"} | ||
] | ||
synopsis: "OCaml interface to GTK+" | ||
url { | ||
src: "https://github.com/garrigue/lablgtk/archive/2.18.14.tar.gz" | ||
checksum: [ | ||
"sha256=b3b746d4aa8a2bf7d63b1eca9f5319aac0c1888c5c54cf0581f8d895fd78c277" | ||
"md5=b0ea9cc66cbc7eb698b73f7815b35462" | ||
] | ||
} | ||
extra-source "lablgtk.install" { | ||
src: | ||
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/lablgtk/lablgtk.install" | ||
checksum: [ | ||
"sha256=a7254f258d43669943ababb0846017096262938bccc2f0d62cbc53687cd77d15" | ||
"md5=1a3468258dd50aab33b9844db158b11a" | ||
] | ||
} | ||
extra-source "lablgldir.patch" { | ||
src: | ||
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/lablgtk/lablgldir.patch.2.18.13" | ||
checksum: [ | ||
"sha256=018a0f6006413258878ac550e078fa29a6f42f63ae7b6a50f38d116128f21b73" | ||
"md5=ea7cb50e7f6aa85968063d059ab46c44" | ||
] | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,37 @@ | ||
opam-version: "2.0" | ||
maintainer: "[email protected]" | ||
authors: ["Jacques Garrigue et al., Nagoya University"] | ||
homepage: "https://garrigue.github.io/labltk/" | ||
bug-reports: "https://github.com/garrigue/labltk/issues" | ||
dev-repo: "git+https://github.com/garrigue/labltk.git" | ||
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" | ||
build: [ | ||
["./configure" "-use-findlib" "-verbose" "-installbindir" bin] | ||
[ | ||
make | ||
"library" | ||
"opt" {!ocaml-option-bytecode-only:installed} | ||
] | ||
] | ||
install: [ | ||
[make "install"] | ||
] | ||
depends: [ | ||
"ocaml" {>= "4.08"} | ||
"ocamlfind" {build} | ||
"conf-tcl" | ||
"conf-tk" | ||
] | ||
post-messages: [ | ||
"This package requires Tcl/Tk with its development packages installed on your system" {failure} | ||
] | ||
synopsis: "OCaml interface to Tcl/Tk" | ||
description: "ocamlbrowser is now a separate package.\n\ | ||
For details, see https://garrigue.github.io/labltk/" | ||
url { | ||
src: "https://github.com/garrigue/labltk/archive/refs/tags/8.06.15.tar.gz" | ||
checksum: [ | ||
"sha256=fe0e11bacdb537ce9027aec072262405f01fe4017d19213d5a82ef053e50594d" | ||
"md5=c5f70ac8a2d36e083a51603f8d3a0901" | ||
] | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,34 @@ | ||
opam-version: "2.0" | ||
maintainer: "[email protected]" | ||
authors: ["Jacques Garrigue et al., Nagoya University"] | ||
homepage: "https://garrigue.github.io/labltk/" | ||
bug-reports: "https://github.com/garrigue/labltk/issues" | ||
dev-repo: "git+https://github.com/garrigue/labltk.git" | ||
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception" | ||
build: [ | ||
["./configure" "-use-findlib" "-installbindir" bin] | ||
[make "all"] | ||
] | ||
install: [ | ||
[make "install-browser"] | ||
] | ||
depends: [ | ||
"ocaml" {>= "5.3" & < "5.4"} | ||
"labltk" {>= "8.06.15"} | ||
"ocamlfind" {build} | ||
"conf-tcl" | ||
"conf-tk" | ||
] | ||
post-messages: [ | ||
"This package requires Tcl/Tk with its development packages installed on your system" {failure} | ||
] | ||
synopsis: "OCamlBrowser Library Explorer" | ||
description: "Requires LablTk. For details, see https://garrigue.github.io/labltk/" | ||
url { | ||
src: "https://github.com/garrigue/labltk/archive/refs/tags/8.06.15.tar.gz" | ||
checksum: [ | ||
"sha256=fe0e11bacdb537ce9027aec072262405f01fe4017d19213d5a82ef053e50594d" | ||
"md5=c5f70ac8a2d36e083a51603f8d3a0901" | ||
] | ||
} | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,46 @@ | ||
opam-version: "2.0" | ||
synopsis: | ||
"Patricia Tree data structure in OCaml for maps and sets. Supports generic key-value pairs" | ||
maintainer: ["Dorian Lesbre <[email protected]>"] | ||
authors: [ | ||
"Matthieu Lemerre <[email protected]>" | ||
"Dorian Lesbre <[email protected]>" | ||
] | ||
license: "LGPL-2.1-only" | ||
homepage: "https://codex.top/api/patricia-tree/" | ||
doc: "https://codex.top/api/patricia-tree/" | ||
bug-reports: | ||
"https://github.com/codex-semantics-library/patricia-tree/issues" | ||
depends: [ | ||
"ocaml" {>= "4.14"} | ||
"dune" {>= "3.0"} | ||
"qcheck-core" {>= "0.21.2" & with-test} | ||
"ppx_inline_test" {>= "v0.16.0" & with-test} | ||
"mdx" {>= "2.4.1" & with-test} | ||
"odoc" {>= "2.4.0" & with-doc} | ||
"sherlodoc" {with-doc} | ||
] | ||
build: [ | ||
["dune" "subst"] {dev} | ||
[ | ||
"dune" | ||
"build" | ||
"-p" | ||
name | ||
"-j" | ||
jobs | ||
"@install" | ||
"@runtest" {with-test} | ||
"@doc" {with-doc} | ||
] | ||
] | ||
dev-repo: "git+https://github.com/codex-semantics-library/patricia-tree.git" | ||
url { | ||
src: | ||
"https://github.com/codex-semantics-library/patricia-tree/releases/download/v0.11.0/patricia-tree-0.11.0.tbz" | ||
checksum: [ | ||
"sha256=18fcde5d35d65c9bb2f9ec4ff732ecdd8969ba6fc2cf51d29ecb3be66e2fe664" | ||
"sha512=da038d5096deb4bf3c02efd694e962ecf9b2571d140fa1fef17cce474f628ec070b93a44fd742748b9d3ba0e51041f864623d83e9cb0c72214abb0fb4a043625" | ||
] | ||
} | ||
x-commit-hash: "8c964963985ae2cf5292146102316520f31e8fda" |
Oops, something went wrong.