this repo has no description

SPDX normalization: Normalize the simple LGPL license names

Kate 2b7672ed 845474a0

Changed files
+415 -415
packages
ANSITerminal
ANSITerminal.0.8.2
KaSim
KaSim.3.5.150925
KaSim.4.0.0
ao
ao.0.2.2
ao.0.2.3
apron
apron.20150820
bag
bag.1.0.0
bddapron
bddapron.2.2.3
bddapron.2.2.4
bddapron.2.2.5
bddapron.2.3.0
bddapron.2.3.1
bddapron.2.3.2
bddapron.2.3.3
bheap
bheap.1.0.0
bheap.2.0.0
bindlib
bindlib.4.0
bindlib.4.0.2
bindlib.4.0.3
bindlib.4.0.4
bindlib.4.0.5
bindlib.5.0.0
bindlib.5.0.1
bitv
bitv.1.4
bitv.1.5
bitv.1.6
bjack
bjack.0.1.6
cairo2
cairo2.0.6.2
cairo2-gtk
cairo2-gtk.0.6.2
cairo2-pango
cairo2-pango.0.6.2
camllib
camllib.1.3.0
camllib.1.3.1
camllib.1.3.2
camllib.1.3.3
color-brewery
color-brewery.0.1
combine
combine.0.6
conf-glib-2
conf-glib-2.1
conf-libmpg123
conf-libmpg123.1
conf-libnl3
conf-libnl3.1
conf-pulseaudio
conf-pulseaudio.1
conf-soundtouch
conf-soundtouch.1
conf-xen
conf-xen.1
coq
coq.8.10.0
coq.8.10.1
coq.8.10.2
coq.8.7.0
coq.8.7.1
coq.8.7.1+1
coq.8.7.1+2
coq.8.7.2
coq.8.8.0
coq.8.8.1
coq.8.8.2
coq.8.9.0
coq.8.9.1
coq-shell
coq-shell.1
coqide
coqide.8.10.0
coqide.8.10.1
coqide.8.10.2
coqide.8.5.0
coqide.8.5.1
coqide.8.5.2
coqide.8.5.3
coqide.8.6
coqide.8.6.1
coqide.8.7.0
coqide.8.7.1
coqide.8.7.2
coqide.8.8.0
coqide.8.8.1
coqide.8.8.2
coqide.8.9.0
coqide.8.9.1
crlibm
crlibm.0.1
crlibm.0.2
crlibm.0.3
crlibm.0.4
csv
csv.2.3
csv.2.4
csv-lwt
csv-lwt.2.3
csv-lwt.2.4
csvtool
csvtool.2.3
csvtool.2.4
ctypes-zarith
ctypes-zarith.0.1.0
ctypes-zarith.0.2.0
cumulus
cumulus.0.0.1
cwe_checker
cwe_checker.0.2
cwe_checker.0.3
dedukti
dedukti.2.6.0
dlm
dlm.0.3.1
dokeysto
dokeysto.1.0.1
dokeysto.2.0.0
dokeysto.3.0.0
dokeysto.3.0.1
dokeysto.3.0.2
dokeysto.4.0.0
dokeysto_camltc
dokeysto_camltc.3.0.0
dokeysto_camltc.3.0.1
dokeysto_camltc.3.0.2
dokeysto_camltc.4.0.0
dokeysto_lz4
dokeysto_lz4.2.0.0
dokeysto_lz4.2.0.1
dokeysto_lz4.3.0.0
dokeysto_lz4.3.0.1
dokeysto_lz4.3.0.2
dokeysto_lz4.4.0.0
dropbox
dropbox.0.2
dropbox_lwt_unix
dropbox_lwt_unix.0.2
dssi
dssi.0.1.3
elpi
elpi.1.10.0
elpi.1.10.1
elpi.1.10.2
elpi.1.11.0
elpi.1.11.1
elpi.1.11.2
elpi.1.11.3
elpi.1.11.4
elpi.1.11.4-1
elpi.1.12.0
elpi.1.13.0
elpi.1.7.0
elpi.1.8.0
elpi.1.9.0
elpi.1.9.1
ez_cmdliner
ez_cmdliner.0.1.1
ez_config
ez_config.0.1.1
ez_file
ez_file.0.1.2
ez_file.0.2.0
ezjs_ace
ezjs_ace.0.1
ezjs_ace.0.1.1
ezjs_blockies
ezjs_blockies.0.1
ezjs_blockies.0.1.1
ezjs_cleave
ezjs_cleave.0.1
ezjs_cleave.0.1.1
ezjs_crypto
ezjs_crypto.0.1
ezjs_cytoscape
ezjs_cytoscape.0.1
ezjs_d3pie
ezjs_d3pie.0.1
ezjs_extension
ezjs_extension.0.1
ezjs_fetch
ezjs_fetch.0.1
ezjs_fetch.0.2
ezjs_idb
ezjs_idb.0.1
ezjs_idb.0.1.1
ezjs_jquery
ezjs_jquery.0.1
ezjs_min
ezjs_min.0.1
ezjs_min.0.2
ezjs_min.0.2.1
ezjs_min.0.2.2
ezjs_min.0.2.3
ezjs_odometer
ezjs_odometer.0.1
ezjs_push
ezjs_push.0.1
ezjs_push.0.2
ezjs_qrcode
ezjs_qrcode.0.1
ezjs_recaptcha
ezjs_recaptcha.0.1
ezjs_recaptcha.0.1.1
ezjs_timeline
ezjs_timeline.0.1
ezjs_timeline.0.1.1
ezresto
ezresto.0.2
ezresto.0.3
ezresto.0.4
ezresto.0.5
ezresto.0.6
ezresto-directory
ezresto-directory.0.2
ezresto-directory.0.3
ezresto-directory.0.4
ezresto-directory.0.5
ezresto-directory.0.6
fftw3
fftw3.0.8.3
fftw3.0.8.4
fileutils
fileutils.0.6.1
fileutils.0.6.2
fileutils.0.6.3
fkie-cad-cwe-checker
fkie-cad-cwe-checker.0.1
fkie-cad-cwe-checker.0.2
flex-array
flex-array.1.0.0
flex-array.1.1.0
flex-array.1.2.0
frama-c-e-acsl
frama-c-e-acsl.0.5
freetds
freetds.0.4
freetds.0.4.1
freetds.0.4.2
freetds.0.5
freetds.0.5.1
freetds.0.5.2
freetds.0.6
freetds.0.7
gles3
gles3.20160307.alpha
gles3.20160505.alpha
gnuplot
gnuplot.0.6
gnuplot.0.7
gpr
gpr.1.5.0
graphics
graphics.4.08.0
graphics.4.08.1
graphics.5.0.0
graphics.5.1.0
graphics.5.1.1
gstreamer
gstreamer.0.3.1
hashset
hashset.1.0.0
imagelib
imagelib.20160413
imagelib.20170118
imagelib.20171028
imagelib.20180522
inotify
inotify.2.2
inotify.2.3
interval
interval.1.3
interval.1.4
interval.1.5
interval.1.5.1
interval_base
interval_base.1.5
interval_base.1.5.1
interval_crlibm
interval_crlibm.1.5
interval_crlibm.1.5.1
interval_intel
interval_intel.1.5
interval_intel.1.5.1
javalib
javalib.3.2
javalib.3.2.1
junit
junit.2.0.2
junit_alcotest
junit_alcotest.2.0.2
junit_ounit
junit_ounit.2.0.2
kappa-agents
kappa-agents.4.1.0
kappa-binaries
kappa-binaries.4.1.0
kappa-library
kappa-library.4.1.0
kappa-server
kappa-server.4.1.0
lacaml
lacaml.11.0.5
lacaml.11.0.6
lacaml.11.0.7
lacaml.11.0.8
ladspa
ladspa.0.2.0
lastfm
lastfm.0.3.3
lbfgs
lbfgs.0.9.3
libsvm
libsvm.0.10.0
lilv
lilv.0.1.0
macaque
macaque.0.7
macaque.0.7.1
macaque.0.7.2
mechaml
mechaml.1.2.0
mlcuddidl
mlcuddidl.2.3.0
mlcuddidl.3.0.0
mlcuddidl.3.0.1
mlcuddidl.3.0.2
mlcuddidl.3.0.3
mlcuddidl.3.0.4
mlcuddidl.3.0.5
mlcuddidl.3.0.6
mlcuddidl.3.0.7
mlfenv
mlfenv.1.0.0
mlgmpidl
mlgmpidl.1.2.1
mlgmpidl.1.2.2
mlgmpidl.1.2.3
mlgmpidl.1.2.4
mlgmpidl.1.2.5
mlmpfr
mlmpfr.3.1.6
mlmpfr.4.0.0
mlmpfr.4.0.1
mlmpfr.4.0.2
mlmpfr.4.0.2+dune
mlmpfr.4.1.0
mlpost
mlpost.0.8.1
mlpost.0.8.2
mlpost.0.9
mlpost-lablgtk
mlpost-lablgtk.0.9
mysql
mysql.1.2.4
nbd
nbd.4.0.3
ocaml-migrate-parsetree
ocaml-migrate-parsetree.0.6
ocaml-migrate-parsetree.0.7
ocaml-migrate-parsetree.1.0
ocaml-migrate-parsetree.1.0.1
ocaml-migrate-parsetree.1.0.10
ocaml-migrate-parsetree.1.0.11
ocaml-migrate-parsetree.1.0.2
ocaml-migrate-parsetree.1.0.3
ocaml-migrate-parsetree.1.0.4
ocaml-migrate-parsetree.1.0.5
ocaml-migrate-parsetree.1.0.6
ocaml-migrate-parsetree.1.0.7
ocaml-migrate-parsetree.1.0.8
ocaml-migrate-parsetree.1.0.9
ocaml-migrate-parsetree.1.1.0
ocaml-migrate-parsetree.1.2.0
ocaml-migrate-parsetree.1.3.0~4.08.0+beta2
ocaml-migrate-parsetree.1.3.0~4.08.0+beta3
ocaml-migrate-parsetree.1.5.0
ocaml-migrate-parsetree.1.6.0
ocaml-migrate-parsetree.1.7.1
ocaml-migrate-parsetree.1.7.2
ocaml-migrate-parsetree.1.7.3
ocaml-migrate-parsetree.1.8.0
ocaml-migrate-parsetree.2.0.0
ocaml-migrate-parsetree.2.1.0
ocaml-migrate-parsetree-ocamlbuild
ocaml-migrate-parsetree-ocamlbuild.1.0.1
ocaml-migrate-parsetree-ocamlbuild.1.2.0
ocamlviz
ocamlviz.1.01
ocp-browser
ocp-browser.1.2
ocp-browser.1.2.1
ocp-index
ocp-index.1.2
ocp-index.1.2.1
ocplib_stuff
ocplib_stuff.0.2.0
ocplib_stuff.0.3.0
odepack
odepack.0.7.1
opam-depext
opam-depext.1.1.4
opam-depext.1.1.5
opam_bin_lib
opam_bin_lib.0.9.4
opam_bin_lib.0.9.5
pandoc
pandoc.0.1.0
pandoc-abbreviations
pandoc-abbreviations.0.1.0
pandoc-crossref
pandoc-crossref.0.1.0
pandoc-include
pandoc-include.0.1.0
pandoc-inspect
pandoc-inspect.0.1.0
pcre
pcre.7.4.2
pcre.7.4.3
pcre.7.4.4
pcre.7.4.6
pgocaml
pgocaml.4.0
pgocaml.4.2
pgocaml.4.2.2
pgocaml_ppx
pgocaml_ppx.4.0
pgocaml_ppx.4.2
pgocaml_ppx.4.2.2
pgx
pgx.0.1
pgx.1.0
pgx.2.0
pgx_async
pgx_async.0.1
pgx_async.1.0
pgx_async.2.0
pgx_lwt
pgx_lwt.0.1
pgx_lwt.1.0
pgx_lwt.2.0
pgx_lwt_mirage
pgx_lwt_mirage.1.0
pgx_lwt_mirage.2.0
pgx_lwt_unix
pgx_lwt_unix.1.0
pgx_lwt_unix.2.0
pgx_unix
pgx_unix.0.1
pgx_unix.1.0
pgx_unix.2.0
pgx_value_core
pgx_value_core.1.0
pgx_value_core.2.0
phox
phox.0.89.170929
pilat
pilat.1.3
plplot
plplot.5.11.0-1
portaudio
portaudio.0.2.2
postgresql
postgresql.4.5.1
postgresql.4.5.2
postgresql.4.6.0
postgresql.4.6.1
postgresql.4.6.2
postgresql.4.6.3
ppx_compose
ppx_compose.0.1.0
ppx_cstubs
ppx_cstubs.0.3.0
ppx_cstubs.0.4.0
ppx_cstubs.0.4.1
ppx_cstubs.0.4.3
ppx_cstubs.0.5.0
ppx_cstubs.0.6.0
ppx_cstubs.0.6.1
ppx_regexp
ppx_regexp.0.4.3
ppx_tyre
ppx_tyre.0.4.3
ptmap
ptmap.2.0.4
ptmap.2.0.5
ptset
ptset.1.0.0
ptset.1.0.1
pulseaudio
pulseaudio.0.1.4
resto
resto.0.2
resto.0.3
resto.0.4
resto.0.5
resto.0.6
resto-acl
resto-acl.0.6
resto-cohttp
resto-cohttp.0.2
resto-cohttp.0.3
resto-cohttp.0.4
resto-cohttp.0.5
resto-cohttp.0.6
resto-cohttp-client
resto-cohttp-client.0.2
resto-cohttp-client.0.3
resto-cohttp-client.0.4
resto-cohttp-client.0.5
resto-cohttp-client.0.6
resto-cohttp-self-serving-client
resto-cohttp-self-serving-client.0.6
resto-cohttp-server
resto-cohttp-server.0.2
resto-cohttp-server.0.3
resto-cohttp-server.0.4
resto-cohttp-server.0.5
resto-cohttp-server.0.6
resto-directory
resto-directory.0.2
resto-directory.0.3
resto-directory.0.4
resto-directory.0.5
resto-directory.0.6
resto-json
resto-json.0.2
resto-json.0.3
resto-json.0.4
resto-json.0.5
resto-json.0.6
rmlbuild
rmlbuild.0.14.0-00
samplerate
samplerate.0.1.5
satyrographos
satyrographos.0.0.2.1
semaphore-compat
semaphore-compat.1.0.0
semaphore-compat.1.0.1
seq
seq.0.2
seq.0.2.1
seq.0.2.2
soundtouch
soundtouch.0.1.9
toml
toml.6.0.0
toml.7.0.0
toml_cconv
toml_cconv.6.0.0
toml_cconv.7.0.0
why
why.2.32
why.2.33
why.2.34
why.2.35
why.2.36
why.2.37
why.2.38
why.2.39
why.2.40
why.2.41
+1 -1
packages/ANSITerminal/ANSITerminal.0.8.2/opam
···
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: [ "Christophe Troestler"
"Vincent Hugot" ]
-
license: "LGPL-3.0 with OCaml linking exception"
+
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/ANSITerminal"
dev-repo: "git+https://github.com/Chris00/ANSITerminal.git"
bug-reports: "https://github.com/Chris00/ANSITerminal/issues"
+1 -1
packages/KaSim/KaSim.3.5.150925/opam
···
opam-version: "2.0"
maintainer: "Pierre Boutillier <pierre.boutillier@laposte.net>"
authors: [ "Jean Krivine" "Jérôme Feret" ]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "http://dev.executableknowledge.org/"
bug-reports: "https://github.com/Kappa-Dev/KaSim/issues"
dev-repo: "git+https://github.com/Kappa-Dev/KaSim.git"
+1 -1
packages/KaSim/KaSim.4.0.0/opam
···
"Jean Krivine" "Jérôme Feret" "Pierre Boutillier"
"Ioana Cristescu" "Mutaamba Maasha" "Lý Kim Quyên"
]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "http://dev.executableknowledge.org/"
bug-reports: "https://github.com/Kappa-Dev/KaSim/issues"
dev-repo: "git+https://github.com/Kappa-Dev/KaSim.git"
+1 -1
packages/ao/ao.0.2.2/opam
···
"Bindings for the AO library which provides high-level functions for using soundcards"
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-ao"
bug-reports: "https://github.com/savonet/ocaml-ao/issues"
depends: [
+1 -1
packages/ao/ao.0.2.3/opam
···
"Bindings for the AO library which provides high-level functions for using soundcards"
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-ao"
bug-reports: "https://github.com/savonet/ocaml-ao/issues"
depends: [
+1 -1
packages/apron/apron.20150820/opam
···
# Commented out as svn does not seem supported (yet?).
# dev-repo: "svn://scm.gforge.inria.fr/svnroot/apron/"
bug-reports: "https://gforge.inria.fr/tracker/?atid=8946&group_id=2625&func=browse"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
[
"sh"
+1 -1
packages/bag/bag.1.0.0/opam
···
authors: ["Jean-Christophe Filliâtre" "Clément Pascutto"]
synopsis: "Bags (aka multisets)"
description: "A bag library for OCaml"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/backtracking/bag"
doc: "https://backtracking.github.io/bag"
bug-reports: "https://github.com/backtracking/bag/issues"
+1 -1
packages/bddapron/bddapron.2.2.3/opam
···
authors: ["Bertrand Jeannet"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/bjeannet-forge/bddapron/index.html"
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure" "--docdir" doc]
[make]
+1 -1
packages/bddapron/bddapron.2.2.4/opam
···
authors: ["Bertrand Jeannet"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/bjeannet-forge/bddapron/index.html"
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure" "--docdir" doc]
[make]
+1 -1
packages/bddapron/bddapron.2.2.5/opam
···
authors: ["Bertrand Jeannet"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/bjeannet-forge/bddapron/index.html"
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure" "--docdir" doc]
[make "JOBS=%{jobs}%"]
+1 -1
packages/bddapron/bddapron.2.3.0/opam
···
authors: ["Bertrand Jeannet"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/bjeannet-forge/bddapron/index.html"
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure" "--docdir" doc]
[make "JOBS=%{jobs}%"]
+1 -1
packages/bddapron/bddapron.2.3.1/opam
···
authors: ["Bertrand Jeannet"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/bjeannet-forge/bddapron/index.html"
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure" "--docdir" doc]
[make "JOBS=%{jobs}%"]
+1 -1
packages/bddapron/bddapron.2.3.2/opam
···
authors: ["Bertrand Jeannet"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/bjeannet-forge/bddapron/index.html"
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure" "--docdir" doc]
[make "JOBS=%{jobs}%"]
+1 -1
packages/bddapron/bddapron.2.3.3/opam
···
authors: ["Bertrand Jeannet"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/bjeannet-forge/bddapron/index.html"
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure" "--docdir" doc]
[make "JOBS=%{jobs}%"]
+1 -1
packages/bheap/bheap.1.0.0/opam
···
homepage: "https://www.lri.fr/~filliatr/software.en.html"
bug-reports: "https://github.com/UnixJunkie/bheap/issues"
dev-repo: "git+https://github.com/UnixJunkie/bheap.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["obuild" "configure"]
["obuild" "build" "lib-bheap"]
+1 -1
packages/bheap/bheap.2.0.0/opam
···
description: """
Traditional implementation using a binary heap encoded in a resizable array
"""
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/backtracking/bheap"
doc: "https://backtracking.github.io/bheap"
bug-reports: "https://github.com/backtracking/bheap/issues"
+1 -1
packages/bindlib/bindlib.4.0.2/opam
···
[ "Christophe Raffalli <raffalli@univ-savoie.fr>"
"Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>" ]
homepage: "http://lama.univ-savoie.fr/~raffalli/bindlib"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "darcs+https://lama.univ-savoie.fr/~raffalli/bindlib/repos"
build: [make]
install: [make "install"]
+1 -1
packages/bindlib/bindlib.4.0.3/opam
···
[ "Christophe Raffalli <raffalli@univ-savoie.fr>"
"Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>" ]
homepage: "http://lama.univ-savoie.fr/~raffalli/bindlib"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "darcs+https://lama.univ-savoie.fr/~raffalli/bindlib/repos"
build: [make]
install: [make "install"]
+1 -1
packages/bindlib/bindlib.4.0.4/opam
···
[ "Christophe Raffalli <christophe.raffalli@univ-savoie.fr>"
"Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>" ]
homepage: "https://rlepigre.github.io/ocaml-bindlib/"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/rlepigre/ocaml-bindlib.git"
build: [make]
install: [make "install"]
+1 -1
packages/bindlib/bindlib.4.0.5/opam
···
[ "Christophe Raffalli <christophe@raffalli.eu>"
"Rodolphe Lepigre <rodolphe.lepigre@inria.fr>" ]
homepage: "https://rlepigre.github.io/ocaml-bindlib/"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/rlepigre/ocaml-bindlib.git"
build: [make]
install: [make "install"]
+1 -1
packages/bindlib/bindlib.4.0/opam
···
[ "Christophe Raffalli <raffalli@univ-savoie.fr>"
"Rodolphe Lepigre <rodolphe.lepigre@univ-savoie.fr>" ]
homepage: "http://lama.univ-savoie.fr/~raffalli/bindlib"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "darcs+https://lama.univ-savoie.fr/~raffalli/bindlib/repos"
build: [make]
install: [make "install"]
+1 -1
packages/bindlib/bindlib.5.0.0/opam
···
[ "Christophe Raffalli <christophe@raffalli.eu>"
"Rodolphe Lepigre <rodolphe.lepigre@inria.fr>" ]
homepage: "https://rlepigre.github.io/ocaml-bindlib/"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/rlepigre/ocaml-bindlib.git"
build: [make]
install: [make "install"]
+1 -1
packages/bindlib/bindlib.5.0.1/opam
···
[ "Christophe Raffalli <christophe@raffalli.eu>"
"Rodolphe Lepigre <rodolphe.lepigre@inria.fr>" ]
homepage: "https://rlepigre.github.io/ocaml-bindlib/"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/rlepigre/ocaml-bindlib.git"
build: [make]
install: [make "install"]
+1 -1
packages/bitv/bitv.1.4/opam
···
opam-version: "2.0"
maintainer: "filliatr@lri.fr"
authors: "Jean-Christophe Filliâtre"
-
license: "LGPL v2"
+
license: "LGPL-2.1-only"
synopsis: "A bit vector library for OCaml"
description: "A bit vector library for OCaml"
homepage: "https://github.com/backtracking/bitv"
+1 -1
packages/bitv/bitv.1.5/opam
···
opam-version: "2.0"
maintainer: "filliatr@lri.fr"
authors: "Jean-Christophe Filliâtre"
-
license: "LGPL v2"
+
license: "LGPL-2.1-only"
synopsis: "A bit vector library for OCaml"
description: "A bit vector library for OCaml"
homepage: "https://github.com/backtracking/bitv"
+1 -1
packages/bitv/bitv.1.6/opam
···
opam-version: "2.0"
maintainer: "filliatr@lri.fr"
authors: "Jean-Christophe Filliâtre"
-
license: "LGPL v2"
+
license: "LGPL-2.1-only"
synopsis: "A bit vector library for OCaml"
description: "A bit vector library for OCaml"
homepage: "https://github.com/backtracking/bitv"
+1 -1
packages/bjack/bjack.0.1.6/opam
···
"Bindings for the Jack library which provides functions for linking audio programs"
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-bjack"
bug-reports: "https://github.com/savonet/ocaml-bjack/issues"
depends: [
+1 -1
packages/cairo2-gtk/cairo2-gtk.0.6.2/opam
···
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: [ "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
"Pierre Hauweele <pierre@hauweele.net>" ]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://github.com/Chris00/ocaml-cairo"
dev-repo: "git+https://github.com/Chris00/ocaml-cairo.git"
bug-reports: "https://github.com/Chris00/ocaml-cairo/issues"
+1 -1
packages/cairo2-pango/cairo2-pango.0.6.2/opam
···
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: [ "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
"Pierre Hauweele <pierre@hauweele.net>" ]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://github.com/Chris00/ocaml-cairo"
dev-repo: "git+https://github.com/Chris00/ocaml-cairo.git"
bug-reports: "https://github.com/Chris00/ocaml-cairo/issues"
+1 -1
packages/cairo2/cairo2.0.6.2/opam
···
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: [ "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
"Pierre Hauweele <pierre@hauweele.net>" ]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://github.com/Chris00/ocaml-cairo"
dev-repo: "git+https://github.com/Chris00/ocaml-cairo.git"
bug-reports: "https://github.com/Chris00/ocaml-cairo/issues"
+1 -1
packages/camllib/camllib.1.3.0/opam
···
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
# SVN repositories not supported (yet).
# dev-repo: "svn://scm.gforge.inria.fr/svnroot/bjeannet/pkg/camllib/branches/opam-packaging"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["cp" "Makefile.config.opam" "Makefile.config"]
[make]
+1 -1
packages/camllib/camllib.1.3.1/opam
···
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
# SVN repositories not supported (yet).
# dev-repo: "svn://scm.gforge.inria.fr/svnroot/bjeannet/pkg/camllib/branches/opam-packaging"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["cp" "Makefile.config.opam" "Makefile.config"]
[make]
+1 -1
packages/camllib/camllib.1.3.2/opam
···
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
# SVN repositories not supported (yet).
# dev-repo: "svn://scm.gforge.inria.fr/svnroot/bjeannet/pkg/camllib/branches/opam-packaging"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["cp" "Makefile.config.opam" "Makefile.config"]
[make]
+1 -1
packages/camllib/camllib.1.3.3/opam
···
bug-reports: "https://gforge.inria.fr/projects/bjeannet/"
# SVN repositories not supported (yet).
# dev-repo: "svn://scm.gforge.inria.fr/svnroot/bjeannet/pkg/camllib/branches/opam-packaging"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["sh" "./configure"]
[make]
+1 -1
packages/color-brewery/color-brewery.0.1/opam
···
opam-version: "2.0"
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: [ "Christophe Troestler" ]
-
license: "LGPL-3 with OCaml linking exception"
+
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/color_brewery"
dev-repo: "git+https://github.com/Chris00/color_brewery.git"
bug-reports: "https://github.com/Chris00/color_brewery/issues"
+1 -1
packages/combine/combine.0.6/opam
···
opam-version: "2.0"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
maintainer: "Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr>"
authors: ["Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr>" "Rémy El Sibaie <remy.el-sibaie@lip6.fr>"]
homepage: "https://www.lri.fr/~filliatr/combine/"
+1 -1
packages/conf-glib-2/conf-glib-2.1/opam
···
maintainer: "Anton Bachin <antonbachin@yahoo.com>"
homepage: "https://wiki.gnome.org/Projects/GLib"
bug-reports: "https://github.com/ocaml/opam-repository/issues"
-
license: "LGPL-2.0"
+
license: "LGPL-2.0-only"
build: [["pkg-config" "glib-2.0"]]
depexts: [
["libglib2.0-dev"] {os-family = "debian"}
+1 -1
packages/conf-libmpg123/conf-libmpg123.1/opam
···
homepage: "http://mpg123.org/"
bug-reports: "https://github.com/ocaml/opam-repository/issues"
authors: "mpg123 dev team"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: ["pkg-config" "--exists" "libmpg123"]
depends: [
"conf-pkg-config" {build}
+1 -1
packages/conf-libnl3/conf-libnl3.1/opam
···
maintainer: "Reynir Björnsson <reynir@reynir.dk>"
authors: ["Thomas Graf"]
homepage: "https://www.infradead.org/~tgr/libnl/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["pkg-config" "libnl-3.0"]
["pkg-config" "libnl-route-3.0"]
+1 -1
packages/conf-pulseaudio/conf-pulseaudio.1/opam
···
homepage: "https://gitlab.freedesktop.org/pulseaudio/pulseaudio"
bug-reports: "https://github.com/ocaml/opam-repository/issues"
authors: "pulseaudio dev team"
-
license: "LGPL-2.1+"
+
license: "LGPL-2.1-or-later"
build: ["sh" "-c" "pkg-config --exists libpulse && pkg-config --exists libpulse-simple"]
depends: [
"conf-pkg-config" {build}
+1 -1
packages/conf-soundtouch/conf-soundtouch.1/opam
···
homepage: "http://www.mega-nerd.com/SRC/"
bug-reports: "https://github.com/ocaml/opam-repository/issues"
authors: "soundtouch dev team"
-
license: "LGPL-2.1+"
+
license: "LGPL-2.1-or-later"
build: ["sh" "-c" "pkg-config --exists soundtouch || pkg-config --exists libSoundTouch || pkg-config --exists soundtouch-1.4"]
depends: [
"conf-pkg-config" {build}
+1 -1
packages/conf-xen/conf-xen.1/opam
···
authors: [ "hannes@mehnert.org" ]
homepage: "https://xenproject.org/"
bug-reports: "https://github.com/ocaml/opam-repository/issues"
-
license: [ "GPLv2" "LGPL3" ]
+
license: [ "GPLv2" "LGPL-3.0-only" ]
build: [
["sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c"]
]
+1 -1
packages/coq-shell/coq-shell.1/opam
···
authors: "Coq team <coqdev@inria.fr>"
bug-reports: "https://coq.inria.fr/bugs/"
homepage: "https://coq.inria.fr/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
dev-repo: "git://github.com/coq/opam-coq-shell.git"
install: [make "install" "PREFIX=%{prefix}%"]
synopsis: "Simplified OPAM shell for Coq"
+1 -1
packages/coq/coq.8.10.0/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
synopsis: "Formal proof management system"
depends: [
+1 -1
packages/coq/coq.8.10.1/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
synopsis: "Formal proof management system"
description: """
The Coq proof assistant provides a formal language to write
+1 -1
packages/coq/coq.8.10.2/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
synopsis: "Formal proof management system"
description: """
The Coq proof assistant provides a formal language to write
+1 -1
packages/coq/coq.8.7.0/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depopts: [
"coq-native"
]
+1 -1
packages/coq/coq.8.7.1+1/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
patches: [ "0001_make_install_static_plug.patch"
"0002_alpine_linux.patch"
]
+1 -1
packages/coq/coq.8.7.1+2/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
patches: [ "0001_make_install_static_plug.patch"
"0002_alpine_linux.patch"
"0003_fix_num_ocamlfind_detection.patch"
+1 -1
packages/coq/coq.8.7.1/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depopts: [
"coq-native"
]
+1 -1
packages/coq/coq.8.7.2/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depends: [
"ocaml" {>= "4.02.3" & < "4.10"}
+1 -1
packages/coq/coq.8.8.0/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depends: [
"ocaml" {>= "4.02.3" & < "4.10"}
+1 -1
packages/coq/coq.8.8.1/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depends: [
"ocaml" {>= "4.02.3" & < "4.10"}
+1 -1
packages/coq/coq.8.8.2/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depends: [
"ocaml" {>= "4.02.3" & < "4.10"}
+1 -1
packages/coq/coq.8.9.0/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depends: [
"ocaml" {>= "4.02.3" & < "4.10"}
+1 -1
packages/coq/coq.8.9.1/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
synopsis: "Formal proof management system"
depends: [
+1 -1
packages/coqide/coqide.8.10.0/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
synopsis: "IDE of the Coq formal proof management system"
depends: [
+1 -1
packages/coqide/coqide.8.10.1/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
synopsis: "IDE of the Coq formal proof management system"
description: """
CoqIDE is a graphical user interface for interactive development
+1 -1
packages/coqide/coqide.8.10.2/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
synopsis: "IDE of the Coq formal proof management system"
description: """
CoqIDE is a graphical user interface for interactive development
+1 -1
packages/coqide/coqide.8.5.0/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://coq.inria.fr/bugs/"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
[
"./configure"
+1 -1
packages/coqide/coqide.8.5.1/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://coq.inria.fr/bugs/"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
[
"./configure"
+1 -1
packages/coqide/coqide.8.5.2/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://coq.inria.fr/bugs/"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
[
"./configure"
+1 -1
packages/coqide/coqide.8.5.3/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://coq.inria.fr/bugs/"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
[
"./configure"
+1 -1
packages/coqide/coqide.8.6.1/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://coq.inria.fr/bugs/"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
[
"./configure"
+1 -1
packages/coqide/coqide.8.6/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://coq.inria.fr/bugs/"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
[
"./configure"
+1 -1
packages/coqide/coqide.8.7.0/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
[
"./configure"
+1 -1
packages/coqide/coqide.8.7.1/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
[
"./configure"
+1 -1
packages/coqide/coqide.8.7.2/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depends: [
"ocaml" {>= "4.02.3"}
+1 -1
packages/coqide/coqide.8.8.0/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depends: [
"ocaml" {>= "4.02.3"}
+1 -1
packages/coqide/coqide.8.8.1/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depends: [
"ocaml" {>= "4.02.3"}
+1 -1
packages/coqide/coqide.8.8.2/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depends: [
"ocaml" {>= "4.02.3"}
+1 -1
packages/coqide/coqide.8.9.0/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
depends: [
"ocaml" {>= "4.02.3"}
+1 -1
packages/coqide/coqide.8.9.1/opam
···
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
synopsis: "IDE of the Coq formal proof management system"
depends: [
+1 -1
packages/crlibm/crlibm.0.1/opam
···
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: ["Christophe Troestler <Christophe.Troestler@umons.ac.be>"]
tags: ["libm" "math" "science"]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://github.com/Chris00/ocaml-crlibm"
dev-repo: "git+https://github.com/Chris00/ocaml-crlibm.git"
bug-reports: "https://github.com/Chris00/ocaml-crlibm/issues"
+1 -1
packages/crlibm/crlibm.0.2/opam
···
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: ["Christophe Troestler <Christophe.Troestler@umons.ac.be>"]
tags: ["libm" "math" "science"]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://github.com/Chris00/ocaml-crlibm"
dev-repo: "git+https://github.com/Chris00/ocaml-crlibm.git"
bug-reports: "https://github.com/Chris00/ocaml-crlibm/issues"
+1 -1
packages/crlibm/crlibm.0.3/opam
···
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: ["Christophe Troestler <Christophe.Troestler@umons.ac.be>"]
tags: ["libm" "math" "science"]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://github.com/Chris00/ocaml-crlibm"
dev-repo: "git+https://github.com/Chris00/ocaml-crlibm.git"
bug-reports: "https://github.com/Chris00/ocaml-crlibm/issues"
+1 -1
packages/crlibm/crlibm.0.4/opam
···
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: ["Christophe Troestler <Christophe.Troestler@umons.ac.be>"]
tags: ["libm" "math" "science"]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://github.com/Chris00/ocaml-crlibm"
dev-repo: "git+https://github.com/Chris00/ocaml-crlibm.git"
bug-reports: "https://github.com/Chris00/ocaml-crlibm/issues"
+1 -1
packages/csv-lwt/csv-lwt.2.3/opam
···
authors: ["Richard Jones"
"Christophe Troestler"]
tags: ["csv" "database" "science"]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/ocaml-csv"
dev-repo: "git+https://github.com/Chris00/ocaml-csv.git"
bug-reports: "https://github.com/Chris00/ocaml-csv/issues"
+1 -1
packages/csv-lwt/csv-lwt.2.4/opam
···
authors: ["Richard Jones"
"Christophe Troestler"]
tags: ["csv" "database" "science"]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/ocaml-csv"
dev-repo: "git+https://github.com/Chris00/ocaml-csv.git"
bug-reports: "https://github.com/Chris00/ocaml-csv/issues"
+1 -1
packages/csv/csv.2.3/opam
···
authors: [ "Richard Jones"
"Christophe Troestler" ]
tags: ["csv" "database" "science"]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/ocaml-csv"
dev-repo: "git+https://github.com/Chris00/ocaml-csv.git"
bug-reports: "https://github.com/Chris00/ocaml-csv/issues"
+1 -1
packages/csv/csv.2.4/opam
···
authors: [ "Richard Jones"
"Christophe Troestler" ]
tags: ["csv" "database" "science"]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/ocaml-csv"
dev-repo: "git+https://github.com/Chris00/ocaml-csv.git"
bug-reports: "https://github.com/Chris00/ocaml-csv/issues"
+1 -1
packages/csvtool/csvtool.2.3/opam
···
authors: [ "Richard Jones"
"Christophe Troestler" ]
tags: ["csv" "database" "science"]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/ocaml-csv"
dev-repo: "git+https://github.com/Chris00/ocaml-csv.git"
bug-reports: "https://github.com/Chris00/ocaml-csv/issues"
+1 -1
packages/csvtool/csvtool.2.4/opam
···
authors: [ "Richard Jones"
"Christophe Troestler" ]
tags: ["csv" "database" "science"]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/ocaml-csv"
dev-repo: "git+https://github.com/Chris00/ocaml-csv.git"
bug-reports: "https://github.com/Chris00/ocaml-csv/issues"
+1 -1
packages/ctypes-zarith/ctypes-zarith.0.1.0/opam
···
maintainer: "andreashauptmann@t-online.de"
authors: [ "andreashauptmann@t-online.de" ]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/fdopen/ctypes-zarith.git"
homepage: "https://github.com/fdopen/ctypes-zarith"
bug-reports: "https://github.com/fdopen/ctypes-zarith/issues"
+1 -1
packages/ctypes-zarith/ctypes-zarith.0.2.0/opam
···
maintainer: "andreashauptmann@t-online.de"
authors: [ "Andreas Hauptmann" "Stephane Graham-Lengrand" ]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/fdopen/ctypes-zarith.git"
homepage: "https://github.com/fdopen/ctypes-zarith"
bug-reports: "https://github.com/fdopen/ctypes-zarith/issues"
+1 -1
packages/cumulus/cumulus.0.0.1/opam
···
authors: [
"Petter A. Urkedal <paurkedal@gmail.com>"
]
-
license: "LGPL-3 with OCaml linking exception"
+
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/paurkedal/ocaml-cumulus/"
doc: "https://paurkedal.github.io/ocaml-cumulus/index.html"
bug-reports: "https://github.com/paurkedal/ocaml-cumulus/issues"
+1 -1
packages/cwe_checker/cwe_checker.0.2/opam
···
"""
maintainer: "CWE_checker Team <nils-edvin.enkelmann@fkie.fraunhofer.de>"
authors: [ "Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de>" "Nils-Edvin Enkelmann <nils-edvin.enkelmann@fkie.fraunhofer.de>" ]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://github.com/fkie-cad/cwe_checker"
bug-reports: "https://github.com/fkie-cad/cwe_checker/issues"
dev-repo: "git+https://github.com/fkie-cad/cwe_checker"
+1 -1
packages/cwe_checker/cwe_checker.0.3/opam
···
"""
maintainer: "CWE_checker Team <nils-edvin.enkelmann@fkie.fraunhofer.de>"
authors: [ "Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de>" "Nils-Edvin Enkelmann <nils-edvin.enkelmann@fkie.fraunhofer.de>" ]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://github.com/fkie-cad/cwe_checker"
bug-reports: "https://github.com/fkie-cad/cwe_checker/issues"
dev-repo: "git+https://github.com/fkie-cad/cwe_checker"
+1 -1
packages/dedukti/dedukti.2.6.0/opam
···
bug-reports: "https://github.com/Deducteam/Dedukti/issues"
authors: [ "Deducteam (Inria) <dedukti-dev@inria.fr>" ]
homepage: "https://deducteam.github.io"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/Deducteam/Dedukti.git"
build: [make]
install: [make "install"]
+1 -1
packages/dlm/dlm.0.3.1/opam
···
bug-reports: "https://github.com/xapi-project/ocaml-dlm/issues"
dev-repo: "git+https://github.com/xapi-project/ocaml-dlm.git"
doc: "https://xapi-project.github.io/ocaml-dlm/doc"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
build: [
["dune" "build" "-p" name "-j" jobs]
]
+1 -1
packages/dokeysto/dokeysto.1.0.1/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["jbuilder" "build" "-p" name "-j" jobs]
[make "test"] {with-test}
+1 -1
packages/dokeysto/dokeysto.2.0.0/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["jbuilder" "build" "-p" name "-j" jobs]
[make "test"] {with-test}
+1 -1
packages/dokeysto/dokeysto.3.0.0/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["jbuilder" "build" "-p" name "-j" jobs]
[make "test"] {with-test}
+1 -1
packages/dokeysto/dokeysto.3.0.1/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "build" "-p" name "-j" jobs]
[make "test"] {with-test}
+1 -1
packages/dokeysto/dokeysto.3.0.2/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "build" "-p" name "-j" jobs]
["dune" "exec" "-p" name "-j" jobs "src/test.exe"] {with-test}
+1 -1
packages/dokeysto/dokeysto.4.0.0/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "build" "-p" name "-j" jobs]
["dune" "exec" "-p" name "-j" jobs "src/test.exe"] {with-test}
+1 -1
packages/dokeysto_camltc/dokeysto_camltc.3.0.0/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["jbuilder" "build" "-p" name "-j" jobs]
[make "test_camltc"] {with-test}
+1 -1
packages/dokeysto_camltc/dokeysto_camltc.3.0.1/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "build" "-p" name "-j" jobs]
[make "test_camltc"] {with-test}
+1 -1
packages/dokeysto_camltc/dokeysto_camltc.3.0.2/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "build" "-p" name "-j" jobs]
["dune" "exec" "-p" name "-j" jobs "src/test_camltc.exe"] {with-test}
+1 -1
packages/dokeysto_camltc/dokeysto_camltc.4.0.0/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "build" "-p" name "-j" jobs]
["dune" "exec" "-p" name "-j" jobs "src/test_camltc.exe"] {with-test}
+1 -1
packages/dokeysto_lz4/dokeysto_lz4.2.0.0/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["jbuilder" "build" "-p" name "-j" jobs]
[make "test_lz4"] {with-test}
+1 -1
packages/dokeysto_lz4/dokeysto_lz4.2.0.1/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["jbuilder" "build" "-p" name "-j" jobs]
[make "test_lz4"] {with-test}
+1 -1
packages/dokeysto_lz4/dokeysto_lz4.3.0.0/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["jbuilder" "build" "-p" name "-j" jobs]
[make "test_lz4"] {with-test}
+1 -1
packages/dokeysto_lz4/dokeysto_lz4.3.0.1/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "build" "-p" name "-j" jobs]
[make "test_lz4"] {with-test}
+1 -1
packages/dokeysto_lz4/dokeysto_lz4.3.0.2/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "build" "-p" name "-j" jobs]
["dune" "exec" "-p" name "-j" jobs "src/test_lz4.exe"] {with-test}
+1 -1
packages/dokeysto_lz4/dokeysto_lz4.4.0.0/opam
···
homepage: "https://github.com/UnixJunkie/dokeysto"
bug-reports: "https://github.com/UnixJunkie/dokeysto/issues"
dev-repo: "git+https://github.com/UnixJunkie/dokeysto.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "build" "-p" name "-j" jobs]
["dune" "exec" "-p" name "-j" jobs "src/test_lz4.exe"] {with-test}
+1 -1
packages/dropbox/dropbox.0.2/opam
···
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: [ "Christophe Troestler <Christophe.Troestler@umons.ac.be>" ]
tags: ["dropbox" "sync"]
-
license: "LGPL-3.0 with OCaml linking exception"
+
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/ocaml-dropbox"
dev-repo: "git+https://github.com/Chris00/ocaml-dropbox.git"
bug-reports: "https://github.com/Chris00/ocaml-dropbox/issues"
+1 -1
packages/dropbox_lwt_unix/dropbox_lwt_unix.0.2/opam
···
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: [ "Christophe Troestler <Christophe.Troestler@umons.ac.be>" ]
tags: ["dropbox" "sync"]
-
license: "LGPL-3.0 with OCaml linking exception"
+
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/ocaml-dropbox"
dev-repo: "git+https://github.com/Chris00/ocaml-dropbox.git"
bug-reports: "https://github.com/Chris00/ocaml-dropbox/issues"
+1 -1
packages/dssi/dssi.0.1.3/opam
···
synopsis: "Bindings for the DSSI API which provides audio synthesizers"
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-dssi"
bug-reports: "https://github.com/savonet/ocaml-dssi/issues"
depends: [
+1 -1
packages/elpi/elpi.1.10.0/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.10.1/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.10.2/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.11.0/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.11.1/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.11.2/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.11.3/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.11.4-1/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.11.4/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.12.0/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.13.0/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL-2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.7.0/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.8.0/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.9.0/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/elpi/elpi.1.9.1/opam
···
opam-version: "2.0"
maintainer: "Enrico Tassi <enrico.tassi@inria.fr>"
authors: [ "Claudio Sacerdoti Coen" "Enrico Tassi" ]
-
license: "LGPL 2.1+"
+
license: "LGPL-2.1-or-later"
homepage: "https://github.com/LPCIC/elpi"
doc: "https://LPCIC.github.io/elpi/"
dev-repo: "git+https://github.com/LPCIC/elpi.git"
+1 -1
packages/ez_cmdliner/ez_cmdliner.0.1.1/opam
···
# This file was generated by `drom` from `drom.toml`.
# Do not modify or add to the `skip` field of `drom.toml`.
opam-version: "2.0"
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
synopsis: "Easy interface to Cmdliner à la Arg.parse with sub-commands"
description: """
ez_cmdliner is a simple layer on top of Cmdliner to provide an interface
+1 -1
packages/ez_config/ez_config.0.1.1/opam
···
# This file was generated by `drom` from `drom.toml`.
# Do not modify or add to the `skip` field of `drom.toml`.
opam-version: "2.0"
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
synopsis: "Easy management of configuration files"
description: """
EzConfig can be used to manage a configuration file with OCaml lexing
+1 -1
packages/ez_file/ez_file.0.1.2/opam
···
# This file was generated by `drom` from `drom.toml`.
# Do not modify or add to the `skip` field of `drom.toml`.
opam-version: "2.0"
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
synopsis: "Easy file manipulation (read_file, write_file, etc.)"
description: """
This library provides some modules to read and write files, and create
+1 -1
packages/ez_file/ez_file.0.2.0/opam
···
# This file was generated by `drom` from `drom.toml`.
# Do not modify or add to the `skip` field of `drom.toml`.
opam-version: "2.0"
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
synopsis: "Easy file manipulation (read_file, write_file, etc.)"
description: """\
This library provides some modules to read and write files, and create
+1 -1
packages/ezjs_ace/ezjs_ace.0.1.1/opam
···
description: "Bindings for the Ace editor"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_ace"
bug-reports: "https://github.com/ocamlpro/ezjs_ace/issues"
depends: [
+1 -1
packages/ezjs_ace/ezjs_ace.0.1/opam
···
description: "Bindings for the Ace editor"
maintainer: ["OCamlPro <contact@ocamlpro.com>"]
authors: ["OCamlPro <contact@ocamlpro.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_ace"
bug-reports: "https://github.com/ocamlpro/ezjs_ace/issues"
depends: [
+1 -1
packages/ezjs_blockies/ezjs_blockies.0.1.1/opam
···
description: "Bindings for Blockies"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_blockies"
bug-reports: "https://github.com/ocamlpro/ezjs_blockies/issues"
depends: [
+1 -1
packages/ezjs_blockies/ezjs_blockies.0.1/opam
···
description: "Bindings for Blockies"
maintainer: ["OCamlPro <contact@ocamlpro.com>"]
authors: ["OCamlPro <contact@ocamlpro.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_blockies"
bug-reports: "https://github.com/ocamlpro/ezjs_blockies/issues"
depends: [
+1 -1
packages/ezjs_cleave/ezjs_cleave.0.1.1/opam
···
description: "Bindings for Cleave"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_cleave"
bug-reports: "https://github.com/ocamlpro/ezjs_cleave/issues"
depends: [
+1 -1
packages/ezjs_cleave/ezjs_cleave.0.1/opam
···
description: "Bindings for Cleave"
maintainer: ["OCamlPro <contact@ocamlpro.com>"]
authors: ["OCamlPro <contact@ocamlpro.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_cleave"
bug-reports: "https://github.com/ocamlpro/ezjs_cleave/issues"
depends: [
+1 -1
packages/ezjs_crypto/ezjs_crypto.0.1/opam
···
description: "Bindings for SubtleCrypto"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_crypto"
bug-reports: "https://github.com/ocamlpro/ezjs_crypto/issues"
depends: [
+1 -1
packages/ezjs_cytoscape/ezjs_cytoscape.0.1/opam
···
description: "Bindings for Cytoscape"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_cytoscape"
bug-reports: "https://github.com/ocamlpro/ezjs_cytoscape/issues"
depends: [
+1 -1
packages/ezjs_d3pie/ezjs_d3pie.0.1/opam
···
description: "Bindings for d3pie"
maintainer: ["OCamlPro <contact@ocamlpro.com>"]
authors: ["OCamlPro <contact@ocamlpro.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_d3pie"
bug-reports: "https://github.com/ocamlpro/ezjs_d3pie/issues"
depends: [
+1 -1
packages/ezjs_extension/ezjs_extension.0.1/opam
···
synopsis: "Binding for Chrome and Firefox extension API"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "Maxime Levillain <maxime.levillain@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_extension"
bug-reports: "https://github.com/ocamlpro/ezjs_extension/issues"
depends: [
+1 -1
packages/ezjs_fetch/ezjs_fetch.0.1/opam
···
description: "Bindings for Fetch"
maintainer: ["OCamlPro <contact@ocamlpro.com>"]
authors: ["OCamlPro <contact@ocamlpro.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_fetch"
bug-reports: "https://github.com/ocamlpro/ezjs_fetch/issues"
depends: [
+1 -1
packages/ezjs_fetch/ezjs_fetch.0.2/opam
···
description: "Bindings for Fetch"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_fetch"
bug-reports: "https://github.com/ocamlpro/ezjs_fetch/issues"
depends: [
+1 -1
packages/ezjs_idb/ezjs_idb.0.1.1/opam
···
description: "Bindings for IndexedDB"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_idb"
bug-reports: "https://github.com/ocamlpro/ezjs_idb/issues"
depends: [
+1 -1
packages/ezjs_idb/ezjs_idb.0.1/opam
···
description: "Bindings for IndexedDB"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_idb"
bug-reports: "https://github.com/ocamlpro/ezjs_idb/issues"
depends: [
+1 -1
packages/ezjs_jquery/ezjs_jquery.0.1/opam
···
description: "Bindings for JQuery"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_jquery"
bug-reports: "https://github.com/ocamlpro/ezjs_jquery/issues"
depends: [
+1 -1
packages/ezjs_min/ezjs_min.0.1/opam
···
description: "A bunch of js_of_ocaml shortcuts"
maintainer: ["OCamlPro <contact@ocamlpro.com>"]
authors: ["OCamlPro <contact@ocamlpro.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_min"
bug-reports: "https://github.com/ocamlpro/ezjs_min/issues"
depends: [
+1 -1
packages/ezjs_min/ezjs_min.0.2.1/opam
···
description: "A bunch of js_of_ocaml shortcuts"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_min"
bug-reports: "https://github.com/ocamlpro/ezjs_min/issues"
depends: [
+1 -1
packages/ezjs_min/ezjs_min.0.2.2/opam
···
description: "A bunch of js_of_ocaml shortcuts"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_min"
bug-reports: "https://github.com/ocamlpro/ezjs_min/issues"
depends: [
+1 -1
packages/ezjs_min/ezjs_min.0.2.3/opam
···
description: "A bunch of js_of_ocaml shortcuts"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_min"
bug-reports: "https://github.com/ocamlpro/ezjs_min/issues"
depends: [
+1 -1
packages/ezjs_min/ezjs_min.0.2/opam
···
description: "A bunch of js_of_ocaml shortcuts"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_min"
bug-reports: "https://github.com/ocamlpro/ezjs_min/issues"
depends: [
+1 -1
packages/ezjs_odometer/ezjs_odometer.0.1/opam
···
description: "Bindings for odometer"
maintainer: ["OCamlPro <contact@ocamlpro.com>"]
authors: ["OCamlPro <contact@ocamlpro.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_odometer"
bug-reports: "https://github.com/ocamlpro/ezjs_odometer/issues"
depends: [
+1 -1
packages/ezjs_push/ezjs_push.0.1/opam
···
description: "Bindings for Push Notification"
maintainer: ["OCamlPro <contact@ocamlpro.com>"]
authors: ["OCamlPro <contact@ocamlpro.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_push"
bug-reports: "https://github.com/ocamlpro/ezjs_push/issues"
depends: [
+1 -1
packages/ezjs_push/ezjs_push.0.2/opam
···
description: "Bindings for Push Notification"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_push"
bug-reports: "https://github.com/ocamlpro/ezjs_push/issues"
depends: [
+1 -1
packages/ezjs_qrcode/ezjs_qrcode.0.1/opam
···
description: "Bindings for QRCode.js"
maintainer: ["OCamlPro <contact@ocamlpro.com>"]
authors: ["OCamlPro <contact@ocamlpro.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_qrcode"
bug-reports: "https://github.com/ocamlpro/ezjs_qrcode/issues"
depends: [
+1 -1
packages/ezjs_recaptcha/ezjs_recaptcha.0.1.1/opam
···
description: "Bindings for reCAPTCHA"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_recaptcha"
bug-reports: "https://github.com/ocamlpro/ezjs_recaptcha/issues"
depends: [
+1 -1
packages/ezjs_recaptcha/ezjs_recaptcha.0.1/opam
···
description: "Bindings for reCAPTCHA"
maintainer: ["OCamlPro <contact@ocamlpro.com>"]
authors: ["OCamlPro <contact@ocamlpro.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_recaptcha"
bug-reports: "https://github.com/ocamlpro/ezjs_recaptcha/issues"
depends: [
+1 -1
packages/ezjs_timeline/ezjs_timeline.0.1.1/opam
···
description: "Bindings for TimelineJS"
maintainer: "OCamlPro <contact@ocamlpro.com>"
authors: "OCamlPro <contact@ocamlpro.com>"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_timeline"
bug-reports: "https://github.com/ocamlpro/ezjs_timeline/issues"
depends: [
+1 -1
packages/ezjs_timeline/ezjs_timeline.0.1/opam
···
description: "Bindings for TimelineJS"
maintainer: ["OCamlPro <contact@ocamlpro.com>"]
authors: ["OCamlPro <contact@ocamlpro.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocamlpro/ezjs_timeline"
bug-reports: "https://github.com/ocamlpro/ezjs_timeline/issues"
depends: [
+1 -1
packages/ezresto-directory/ezresto-directory.0.2/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/ezresto-directory/ezresto-directory.0.3/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/ezresto-directory/ezresto-directory.0.4/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/ezresto-directory/ezresto-directory.0.5/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/ezresto-directory/ezresto-directory.0.6/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/ezresto/ezresto.0.2/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/ezresto/ezresto.0.3/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/ezresto/ezresto.0.4/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/ezresto/ezresto.0.5/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/ezresto/ezresto.0.6/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/fftw3/fftw3.0.8.3/opam
···
opam-version: "2.0"
authors: ["Christophe Troestler <Christophe.Troestler@umons.ac.be>"]
maintainer: "Christophe.Troestler@umons.ac.be"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/fftw-ocaml"
dev-repo: "git+https://github.com/Chris00/fftw-ocaml.git"
bug-reports: "https://github.com/Chris00/fftw-ocaml/issues"
+1 -1
packages/fftw3/fftw3.0.8.4/opam
···
opam-version: "2.0"
authors: ["Christophe Troestler <Christophe.Troestler@umons.ac.be>"]
maintainer: "Christophe.Troestler@umons.ac.be"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/fftw-ocaml"
dev-repo: "git+https://github.com/Chris00/fftw-ocaml.git"
bug-reports: "https://github.com/Chris00/fftw-ocaml/issues"
+1 -1
packages/fileutils/fileutils.0.6.1/opam
···
maintainer: "Sylvain Le Gall <sylvain+ocaml@le-gall.net>"
authors: [ "Sylvain Le Gall" ]
homepage: "https://github.com/gildor478/ocaml-fileutils"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/gildor478/ocaml-fileutils.git"
bug-reports: "https://github.com/gildor478/ocaml-fileutils/issues"
doc: "https://gildor478.github.io/ocaml-fileutils/"
+1 -1
packages/fileutils/fileutils.0.6.2/opam
···
maintainer: "Sylvain Le Gall <sylvain+ocaml@le-gall.net>"
authors: [ "Sylvain Le Gall" ]
homepage: "https://github.com/gildor478/ocaml-fileutils"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/gildor478/ocaml-fileutils.git"
bug-reports: "https://github.com/gildor478/ocaml-fileutils/issues"
doc: "https://gildor478.github.io/ocaml-fileutils/"
+1 -1
packages/fileutils/fileutils.0.6.3/opam
···
maintainer: "Sylvain Le Gall <sylvain+ocaml@le-gall.net>"
authors: [ "Sylvain Le Gall" ]
homepage: "https://github.com/gildor478/ocaml-fileutils"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/gildor478/ocaml-fileutils.git"
bug-reports: "https://github.com/gildor478/ocaml-fileutils/issues"
doc: "https://gildor478.github.io/ocaml-fileutils/"
+1 -1
packages/fkie-cad-cwe-checker/fkie-cad-cwe-checker.0.1/opam
···
homepage: "https://github.com/fkie-cad/cwe_checker"
bug-reports: "https://github.com/fkie-cad/cwe_checker/issues"
dev-repo: "git+https://github.com/fkie-cad/cwe_checker"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
build: [make]
install: [
["mkdir" "-p" "%{share}%/bap"]
+1 -1
packages/fkie-cad-cwe-checker/fkie-cad-cwe-checker.0.2/opam
···
"""
maintainer: "CWE_checker Team <nils-edvin.enkelmann@fkie.fraunhofer.de>"
authors: [ "Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de>" "Nils-Edvin Enkelmann <nils-edvin.enkelmann@fkie.fraunhofer.de>" ]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://github.com/fkie-cad/cwe_checker"
bug-reports: "https://github.com/fkie-cad/cwe_checker/issues"
dev-repo: "git+https://github.com/fkie-cad/cwe_checker"
+1 -1
packages/flex-array/flex-array.1.0.0/opam
···
synopsis: "Flexible arrays"
description: "Flexible arrays are arrays whose size can be changed by adding or
removing elements at either end (one at a time)."
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/backtracking/flex-array"
doc: "https://backtracking.github.io/flex-array"
bug-reports: "https://github.com/backtracking/flex-array/issues"
+1 -1
packages/flex-array/flex-array.1.1.0/opam
···
synopsis: "Flexible arrays"
description: "Flexible arrays are arrays whose size can be changed by adding or
removing elements at either end (one at a time)."
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/backtracking/flex-array"
doc: "https://backtracking.github.io/flex-array"
bug-reports: "https://github.com/backtracking/flex-array/issues"
+1 -1
packages/flex-array/flex-array.1.2.0/opam
···
synopsis: "Flexible arrays"
description: "Flexible arrays are arrays whose size can be changed by adding or
removing elements at either end (one at a time)."
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/backtracking/flex-array"
doc: "https://backtracking.github.io/flex-array"
bug-reports: "https://github.com/backtracking/flex-array/issues"
+1 -1
packages/frama-c-e-acsl/frama-c-e-acsl.0.5/opam
···
"Guillaume Petiot"
]
homepage: "http://frama-c.com/eacsl.html"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
doc: "http://frama-c.com/download/e-acsl/e-acsl-user-manual.pdf"
bug-reports: "https://bts.frama-c.com/"
# dev-repo: "https://git.frama-c.com/users/sign_in"
+1 -1
packages/freetds/freetds.0.4.1/opam
···
homepage: "https://github.com/kennknowles/ocaml-freetds"
dev-repo: "git+https://github.com/kennknowles/ocaml-freetds.git"
bug-reports: "https://github.com/kennknowles/ocaml-freetds/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"clib:ct"
"clib:sybdb"
+1 -1
packages/freetds/freetds.0.4.2/opam
···
homepage: "https://github.com/kennknowles/ocaml-freetds"
dev-repo: "git+https://github.com/kennknowles/ocaml-freetds.git"
bug-reports: "https://github.com/kennknowles/ocaml-freetds/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"clib:ct"
"clib:sybdb"
+1 -1
packages/freetds/freetds.0.4/opam
···
homepage: "https://github.com/kennknowles/ocaml-freetds"
dev-repo: "git+https://github.com/kennknowles/ocaml-freetds.git"
bug-reports: "https://github.com/kennknowles/ocaml-freetds/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./autogen.sh"]
[
+1 -1
packages/freetds/freetds.0.5.1/opam
···
homepage: "https://github.com/kennknowles/ocaml-freetds"
dev-repo: "git+https://github.com/kennknowles/ocaml-freetds.git"
bug-reports: "https://github.com/kennknowles/ocaml-freetds/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"clib:ct"
"clib:sybdb"
+1 -1
packages/freetds/freetds.0.5.2/opam
···
dev-repo: "git+https://github.com/kennknowles/ocaml-freetds.git"
bug-reports: "https://github.com/kennknowles/ocaml-freetds/issues"
doc: "https://kennknowles.github.io/ocaml-freetds/doc"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"clib:ct"
+1 -1
packages/freetds/freetds.0.5/opam
···
homepage: "https://github.com/kennknowles/ocaml-freetds"
dev-repo: "git+https://github.com/kennknowles/ocaml-freetds.git"
bug-reports: "https://github.com/kennknowles/ocaml-freetds/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"clib:ct"
"clib:sybdb"
+1 -1
packages/freetds/freetds.0.6/opam
···
dev-repo: "git+https://github.com/kennknowles/ocaml-freetds.git"
bug-reports: "https://github.com/kennknowles/ocaml-freetds/issues"
doc: "https://kennknowles.github.io/ocaml-freetds/doc"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"clib:ct"
+1 -1
packages/freetds/freetds.0.7/opam
···
dev-repo: "git+https://github.com/kennknowles/ocaml-freetds.git"
bug-reports: "https://github.com/kennknowles/ocaml-freetds/issues"
doc: "https://kennknowles.github.io/ocaml-freetds/doc"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"clib:ct"
+1 -1
packages/gles3/gles3.20160307.alpha/opam
···
"Christophe Raffalli <raffalli@univ-savoie.fr>, Alexandre Miquel<amiquel@fing.edu.uy>"
homepage: "http://lama.univ-savoie.fr/~raffalli/gles3"
bug-reports: "raffalli@univ-savoie.fr"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "darcs+https://lama.univ-savoie.fr/~raffalli/gles3/repos"
build: [make]
install: [make "install"]
+1 -1
packages/gles3/gles3.20160505.alpha/opam
···
[ "Christophe Raffalli <raffalli@univ-savoie.fr>"
"Alexandre Miquel<amiquel@fing.edu.uy>" ]
homepage: "http://lama.univ-savoie.fr/~raffalli/gles3"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "darcs+https://lama.univ-savoie.fr/~raffalli/gles3/repos"
build: [make]
install: [make "install"]
+1 -1
packages/gnuplot/gnuplot.0.6/opam
···
homepage: "https://github.com/c-cube/ocaml-gnuplot"
bug-reports: "https://github.com/c-cube/ocaml-gnuplot/issues"
dev-repo: "git+https://github.com/c-cube/ocaml-gnuplot.git"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
build: [
["dune" "build" "-p" name "-j" jobs]
["dune" "build" "-p" name "-j" jobs "@doc"] {with-doc}
+1 -1
packages/gnuplot/gnuplot.0.7/opam
···
homepage: "https://github.com/c-cube/ocaml-gnuplot"
bug-reports: "https://github.com/c-cube/ocaml-gnuplot/issues"
dev-repo: "git+https://github.com/c-cube/ocaml-gnuplot.git"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
build: [
["dune" "build" "-p" name "-j" jobs]
["dune" "build" "-p" name "-j" jobs "@doc"] {with-doc}
+1 -1
packages/gpr/gpr.1.5.0/opam
···
bug-reports: "https://github.com/mmottl/gpr/issues"
homepage: "https://mmottl.github.io/gpr"
doc: "https://mmottl.github.io/gpr/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/gpr.git"
synopsis: "GPR - Library and Application for Gaussian Process Regression"
description: """
+1 -1
packages/graphics/graphics.4.08.0/opam
···
"Jacob Navia"
"Pierre Weis" ]
homepage: "https://ocaml.org"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
build: [
["sh" "./install.sh" "build" ocaml:preinstalled ocaml:lib ocaml:share _:share make "%{ocaml:native?allopt:}%"]
]
+1 -1
packages/graphics/graphics.4.08.1/opam
···
"Jacob Navia"
"Pierre Weis" ]
homepage: "https://ocaml.org"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
build: [
["sh" "./install.sh" "build" ocaml:preinstalled ocaml:lib ocaml:share _:share make "%{ocaml:native?allopt:}%"]
]
+1 -1
packages/graphics/graphics.5.0.0/opam
···
authors: [
"Xavier Leroy" "Jun Furuse" "J-M Geffroy" "Jacob Navia" "Pierre Weis"
]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml/graphics"
doc: "https://ocaml.github.io/graphics/"
bug-reports: "https://github.com/ocaml/graphics/issues"
+1 -1
packages/graphics/graphics.5.1.0/opam
···
authors: [
"Xavier Leroy" "Jun Furuse" "J-M Geffroy" "Jacob Navia" "Pierre Weis"
]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml/graphics"
doc: "https://ocaml.github.io/graphics/"
bug-reports: "https://github.com/ocaml/graphics/issues"
+1 -1
packages/graphics/graphics.5.1.1/opam
···
authors: [
"Xavier Leroy" "Jun Furuse" "J-M Geffroy" "Jacob Navia" "Pierre Weis"
]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml/graphics"
doc: "https://ocaml.github.io/graphics/"
bug-reports: "https://github.com/ocaml/graphics/issues"
+1 -1
packages/gstreamer/gstreamer.0.3.1/opam
···
"Bindings for the GStreamer library which provides functions for playning and manipulating multimedia streams"
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-gstreamer"
bug-reports: "https://github.com/savonet/ocaml-gstreamer/issues"
depends: [
+1 -1
packages/hashset/hashset.1.0.0/opam
···
homepage: "https://www.lri.fr/~filliatr/software.en.html"
bug-reports: "https://github.com/UnixJunkie/hashset/issues"
dev-repo: "git+https://github.com/UnixJunkie/hashset.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["obuild" "configure"]
["obuild" "build" "lib-hashset"]
+1 -1
packages/imagelib/imagelib.20160413/opam
···
authors: "Rodolphe Lepigre <rodolphe@lepigre.fr>"
homepage: "http://patoline.org/tools.html"
bug-reports: "Rodolphe Lepigre <rodolphe@lepigre.fr>"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "darcs+https://patoline.org/darcs/imagelib"
build: [make]
install: [make "install"]
+1 -1
packages/imagelib/imagelib.20170118/opam
···
authors: "Rodolphe Lepigre <rodolphe.lepigre@univ-smb.fr>"
homepage: "http://lepigre.fr"
bug-reports: "Rodolphe Lepigre <rodolphe.lepigre@univ-smb.fr>"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git://github.com:rlepigre/ocaml-imagelib.git"
build: [make]
install: [make "install"]
+1 -1
packages/imagelib/imagelib.20171028/opam
···
authors: "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"
homepage: "http://lepigre.fr"
bug-reports: "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git://github.com:rlepigre/ocaml-imagelib.git"
build: [make]
install: [make "install"]
+1 -1
packages/imagelib/imagelib.20180522/opam
···
authors: "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"
homepage: "http://lepigre.fr"
bug-reports: "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git://github.com:rlepigre/ocaml-imagelib.git"
build: [make]
install: [make "install"]
+1 -1
packages/inotify/inotify.2.2/opam
···
opam-version: "2.0"
maintainer: "whitequark <whitequark@whitequark.org>"
authors: [ "whitequark <whitequark@whitequark.org>" ]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/whitequark/ocaml-inotify"
doc: "http://whitequark.github.io/ocaml-inotify"
bug-reports: "https://github.com/whitequark/ocaml-inotify/issues"
+1 -1
packages/inotify/inotify.2.3/opam
···
opam-version: "2.0"
maintainer: "whitequark <whitequark@whitequark.org>"
authors: [ "whitequark <whitequark@whitequark.org>" ]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/whitequark/ocaml-inotify"
doc: "http://whitequark.github.io/ocaml-inotify"
bug-reports: "https://github.com/whitequark/ocaml-inotify/issues"
+1 -1
packages/interval/interval.1.3/opam
···
authors: ["Jean-Marc Alliot <jean-marc.alliot@irit.fr>"
"Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>"]
homepage: "http://www.alliot.fr/fbbdet.html.fr"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
tags: ["interval" "science"]
patches: ["Makefile.patch"]
build: [
+1 -1
packages/interval/interval.1.4/opam
···
dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
doc: "https://Chris00.github.io/ocaml-interval/doc"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
tags: ["interval" "science"]
build: [
["jbuilder" "subst" "-p" name] {dev}
+1 -1
packages/interval/interval.1.5.1/opam
···
dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
doc: "https://Chris00.github.io/ocaml-interval/doc"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
tags: ["interval" "science"]
run-test: [
["dune" "exec" "--profile=release" "tests/tests_speed.exe"]
+1 -1
packages/interval/interval.1.5/opam
···
dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
doc: "https://Chris00.github.io/ocaml-interval/doc"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
tags: ["interval" "science"]
run-test: [
["dune" "exec" "--profile=release" "tests/tests_speed.exe"]
+1 -1
packages/interval_base/interval_base.1.5.1/opam
···
dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
doc: "https://Chris00.github.io/ocaml-interval/doc"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
tags: ["interval" "science"]
build: [
["dune" "subst"] {dev}
+1 -1
packages/interval_base/interval_base.1.5/opam
···
dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
doc: "https://Chris00.github.io/ocaml-interval/doc"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
tags: ["interval" "science"]
build: [
["dune" "subst"] {dev}
+1 -1
packages/interval_crlibm/interval_crlibm.1.5.1/opam
···
dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
doc: "https://Chris00.github.io/ocaml-interval/doc"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
tags: ["interval" "science"]
build: [
["dune" "subst"] {dev}
+1 -1
packages/interval_crlibm/interval_crlibm.1.5/opam
···
dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
doc: "https://Chris00.github.io/ocaml-interval/doc"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
tags: ["interval" "science"]
build: [
["dune" "subst"] {dev}
+1 -1
packages/interval_intel/interval_intel.1.5.1/opam
···
dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
doc: "https://Chris00.github.io/ocaml-interval/doc"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
tags: ["interval" "science"]
build: [
["dune" "subst"] {dev}
+1 -1
packages/interval_intel/interval_intel.1.5/opam
···
dev-repo: "git+https://github.com/Chris00/ocaml-interval.git"
bug-reports: "https://github.com/Chris00/ocaml-interval/issues"
doc: "https://Chris00.github.io/ocaml-interval/doc"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
tags: ["interval" "science"]
build: [
["dune" "subst"] {dev}
+1 -1
packages/javalib/javalib.3.2.1/opam
···
authors: "Javalib Development team"
homepage: "https://javalib-team.github.io/javalib/"
bug-reports: "https://github.com/javalib-team/javalib/issues"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/javalib-team/javalib.git"
build: [
["./configure.sh"]
+1 -1
packages/javalib/javalib.3.2/opam
···
authors: "Javalib Development team"
homepage: "https://javalib-team.github.io/javalib/"
bug-reports: "https://github.com/javalib-team/javalib/issues"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/javalib-team/javalib.git"
build: [
["./configure.sh"]
+1 -1
packages/junit/junit.2.0.2/opam
···
authors: "Louis Roché <louis@louisroche.net>"
homepage: "https://github.com/Khady/ocaml-junit"
bug-reports: "https://github.com/Khady/ocaml-junit/issues"
-
license: "LGPLv3+ with OCaml linking exception"
+
license: "LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/Khady/ocaml-junit.git"
doc: "https://khady.github.io/ocaml-junit/"
tags: ["junit" "jenkins"]
+1 -1
packages/junit_alcotest/junit_alcotest.2.0.2/opam
···
authors: ["Louis Roché <louis@louisroche.net>"]
homepage: "https://github.com/Khady/ocaml-junit"
bug-reports: "https://github.com/Khady/ocaml-junit/issues"
-
license: "LGPLv3+ with OCaml linking exception"
+
license: "LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/Khady/ocaml-junit.git"
doc: "https://khady.github.io/ocaml-junit/"
tags: ["junit" "jenkins" "alcotest"]
+1 -1
packages/junit_ounit/junit_ounit.2.0.2/opam
···
authors: ["Louis Roché <louis@louisroche.net>" "Simon Cruanes <simon.cruanes.2007@m4x.org>"]
homepage: "https://github.com/Khady/ocaml-junit"
bug-reports: "https://github.com/Khady/ocaml-junit/issues"
-
license: "LGPLv3+ with OCaml linking exception"
+
license: "LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/Khady/ocaml-junit.git"
doc: "https://khady.github.io/ocaml-junit/"
tags: ["junit" "jenkins" "ounit"]
+1 -1
packages/kappa-agents/kappa-agents.4.1.0/opam
···
"Jean Krivine" "Jérôme Feret" "Pierre Boutillier"
"Ioana Cristescu" "Mutaamba Maasha" "Lý Kim Quyên"
]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://kappalanguage.org/"
bug-reports: "https://github.com/Kappa-Dev/KappaTools/issues"
dev-repo: "git+https://github.com/Kappa-Dev/KappaTools.git"
+1 -1
packages/kappa-binaries/kappa-binaries.4.1.0/opam
···
"Jean Krivine" "Jérôme Feret" "Pierre Boutillier"
"Ioana Cristescu" "Mutaamba Maasha" "Lý Kim Quyên"
]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://kappalanguage.org/"
bug-reports: "https://github.com/Kappa-Dev/KappaTools/issues"
dev-repo: "git+https://github.com/Kappa-Dev/KappaTools.git"
+1 -1
packages/kappa-library/kappa-library.4.1.0/opam
···
"Jean Krivine" "Jérôme Feret" "Pierre Boutillier"
"Ioana Cristescu" "Mutaamba Maasha" "Lý Kim Quyên"
]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://kappalanguage.org/"
bug-reports: "https://github.com/Kappa-Dev/KappaTools/issues"
dev-repo: "git+https://github.com/Kappa-Dev/KappaTools.git"
+1 -1
packages/kappa-server/kappa-server.4.1.0/opam
···
"Jean Krivine" "Jérôme Feret" "Pierre Boutillier"
"Ioana Cristescu" "Mutaamba Maasha" "Lý Kim Quyên"
]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://kappalanguage.org/"
bug-reports: "https://github.com/Kappa-Dev/KappaTools/issues"
dev-repo: "git+https://github.com/Kappa-Dev/KappaTools.git"
+1 -1
packages/lacaml/lacaml.11.0.5/opam
···
"Oleg Trott <ot14@columbia.edu>"
"Martin Willensdorfer <ma.wi@gmx.at>"
]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
homepage: "http://mmottl.github.io/lacaml"
doc: "https://mmottl.github.io/lacaml/api"
dev-repo: "git+https://github.com/mmottl/lacaml.git"
+1 -1
packages/lacaml/lacaml.11.0.6/opam
···
bug-reports: "https://github.com/mmottl/lacaml/issues"
homepage: "https://mmottl.github.io/lacaml"
doc: "https://mmottl.github.io/lacaml/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/lacaml.git"
synopsis: "Lacaml - OCaml-bindings to BLAS and LAPACK"
description: """
+1 -1
packages/lacaml/lacaml.11.0.7/opam
···
bug-reports: "https://github.com/mmottl/lacaml/issues"
homepage: "https://mmottl.github.io/lacaml"
doc: "https://mmottl.github.io/lacaml/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/lacaml.git"
synopsis: "Lacaml - OCaml-bindings to BLAS and LAPACK"
description: """
+1 -1
packages/lacaml/lacaml.11.0.8/opam
···
bug-reports: "https://github.com/mmottl/lacaml/issues"
homepage: "https://mmottl.github.io/lacaml"
doc: "https://mmottl.github.io/lacaml/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/lacaml.git"
synopsis: "Lacaml - OCaml-bindings to BLAS and LAPACK"
description: """
+1 -1
packages/ladspa/ladspa.0.2.0/opam
···
synopsis: "Bindings for the LADSPA API which provides audio effects"
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-ladspa"
bug-reports: "https://github.com/savonet/ocaml-ladspa/issues"
depends: [
+1 -1
packages/lastfm/lastfm.0.3.3/opam
···
"The lastfm library is an implementation of the API used by the last.fm to keep count of played songs"
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["Romain Beauxis <toots@rastageeks.org>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-lastfm"
bug-reports: "https://github.com/savonet/ocaml-lastfm/issues"
depends: [
+1 -1
packages/lbfgs/lbfgs.0.9.3/opam
···
opam-version: "2.0"
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: [ "Christophe Troestler <Christophe.Troestler@umons.ac.be>" ]
-
license: "LGPL-3.0 with OCaml linking exception"
+
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/Chris00/L-BFGS-ocaml"
dev-repo: "git+https://github.com/Chris00/L-BFGS-ocaml.git"
bug-reports: "https://github.com/Chris00/L-BFGS-ocaml/issues"
+1 -1
packages/libsvm/libsvm.0.10.0/opam
···
]
bug-reports: "https://github.com/pveber/libsvm-ocaml/issues"
homepage: "https://github.com/pveber/libsvm-ocaml"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/pveber/libsvm-ocaml.git"
synopsis: "LIBSVM bindings for OCaml"
description: """
+1 -1
packages/lilv/lilv.0.1.0/opam
···
"Bindings to the lilv library for simple use of LV2 plugins in applications. LV2 is an open extensible standard for audio plugins. Many types of plugins can be built with LV2, including audio effects, synthesizers, and control processors for modulation and automation."
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["Romain Beauxis <toots@rastageeks.org>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-lilv"
bug-reports: "https://github.com/savonet/ocaml-lilv/issues"
depends: [
+1 -1
packages/macaque/macaque.0.7.1/opam
···
opam-version: "2.0"
-
license: "LGPL v2 with OCaml linking exception"
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
maintainer: "Kate <kit.ty.kate@disroot.org>"
authors: [
"Gabriel Scherer <gasche.dylc@gmail.com>"
+1 -1
packages/macaque/macaque.0.7.2/opam
···
opam-version: "2.0"
-
license: "LGPL v2 with OCaml linking exception"
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
maintainer: "Kate <kit.ty.kate@disroot.org>"
authors: [
"Gabriel Scherer <gasche.dylc@gmail.com>"
+1 -1
packages/macaque/macaque.0.7/opam
···
opam-version: "2.0"
-
license: "LGPL v2 with OCaml linking exception"
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
maintainer: "Kate <kit.ty.kate@disroot.org>"
authors: [
"Gabriel Scherer <gasche.dylc@gmail.com>"
+1 -1
packages/mechaml/mechaml.1.2.0/opam
···
- Handle cookies, headers and redirections
"""
bug-reports: "https://github.com/yannham/mechaml/issues"
-
license: "LGPL v3"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/yannham/mechaml.git"
doc: "https://yannham.github.io/mechaml/"
tags: ["web" "scraping" "mechanize" "http" "client"]
+1 -1
packages/mlcuddidl/mlcuddidl.2.3.0/opam
···
maintainer: "Nicolas Berthier <m@nberth.space>"
authors: ["Bertrand Jeannet" "Nicolas Berthier"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"]
[make "-j1"]
+1 -1
packages/mlcuddidl/mlcuddidl.3.0.0/opam
···
maintainer: "Nicolas Berthier <m@nberth.space>"
authors: ["Bertrand Jeannet" "Nicolas Berthier"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"]
[make "-j1"]
+1 -1
packages/mlcuddidl/mlcuddidl.3.0.1/opam
···
maintainer: "Nicolas Berthier <m@nberth.space>"
authors: ["Bertrand Jeannet" "Nicolas Berthier"]
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"]
[make "-j1"]
+1 -1
packages/mlcuddidl/mlcuddidl.3.0.2/opam
···
bug-reports: "https://gforge.inria.fr/projects/mlxxxidl/"
# SVN repositories not supported (yet).
# dev-repo: "svn://scm.gforge.inria.fr/svnroot/mlxxxidl/mlcuddidl/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"]
[make "-j%{jobs}%"]
+1 -1
packages/mlcuddidl/mlcuddidl.3.0.3/opam
···
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html"
bug-reports: "https://gforge.inria.fr/projects/mlxxxidl/"
dev-repo: "git+https://framagit.org/nberth/mlcuddidl.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"
"--disable-profiling" { arch = "arm64" } ]
+1 -1
packages/mlcuddidl/mlcuddidl.3.0.4/opam
···
# SVN repositories not supported (yet).
# dev-repo: "svn://scm.gforge.inria.fr/svnroot/mlxxxidl/mlcuddidl/"
dev-repo: "git+https://framagit.org/nberth/mlcuddidl.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"
"--disable-profiling" { arch = "arm64" } ]
+1 -1
packages/mlcuddidl/mlcuddidl.3.0.5/opam
···
# SVN repositories not supported (yet).
# dev-repo: "svn://scm.gforge.inria.fr/svnroot/mlxxxidl/mlcuddidl/"
dev-repo: "git+https://framagit.org/nberth/mlcuddidl.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"
"--disable-profiling" { arch = "arm64" | ( os = "macos" & os-version >= "10.14" ) } ]
+1 -1
packages/mlcuddidl/mlcuddidl.3.0.6/opam
···
# SVN repositories not supported (yet).
# dev-repo: "svn://scm.gforge.inria.fr/svnroot/mlxxxidl/mlcuddidl/"
dev-repo: "git+https://framagit.org/nberth/mlcuddidl.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"
"--disable-profiling" { arch = "arm64" | ( os = "macos" & os-version >= "10.14" ) } ]
+1 -1
packages/mlcuddidl/mlcuddidl.3.0.7/opam
···
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlcuddidl/index.html"
bug-reports: "https://framagit.org/nberth/mlcuddidl/-/issues"
dev-repo: "git+https://framagit.org/nberth/mlcuddidl.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"
"--disable-profiling" { arch = "arm64" | ( os = "macos" & os-version >= "10.14" ) } ]
+1 -1
packages/mlfenv/mlfenv.1.0.0/opam
···
authors: "Laurent Thévenoux <lrnt@thvnx.com>"
homepage: "https://github.com/thvnx/mlfenv"
bug-reports: "https://github.com/thvnx/mlfenv/issues"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/thvnx/mlfenv.git"
build: [
["dune" "subst"] {dev}
+1 -1
packages/mlgmpidl/mlgmpidl.1.2.1/opam
···
dev-repo: "git+https://github.com/nberth/mlgmpidl.git"
bug-reports: "https://github.com/nberth/mlgmpidl/issues"
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"]
[make]
+1 -1
packages/mlgmpidl/mlgmpidl.1.2.2/opam
···
dev-repo: "git+https://github.com/nberth/mlgmpidl.git"
bug-reports: "https://github.com/nberth/mlgmpidl/issues"
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"]
[make]
+1 -1
packages/mlgmpidl/mlgmpidl.1.2.3/opam
···
dev-repo: "git+https://github.com/nberth/mlgmpidl.git"
bug-reports: "https://github.com/nberth/mlgmpidl/issues"
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"]
[make]
+1 -1
packages/mlgmpidl/mlgmpidl.1.2.4/opam
···
dev-repo: "git+https://github.com/nberth/mlgmpidl.git"
bug-reports: "https://github.com/nberth/mlgmpidl/issues"
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"]
[make]
+1 -1
packages/mlgmpidl/mlgmpidl.1.2.5/opam
···
dev-repo: "git+https://github.com/nberth/mlgmpidl.git"
bug-reports: "https://github.com/nberth/mlgmpidl/issues"
homepage: "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure"]
[make]
+1 -1
packages/mlmpfr/mlmpfr.3.1.6/opam
···
authors: "Laurent Thévenoux <lrnt@thvnx.com>"
homepage: "https://github.com/thvnx/mlmpfr"
bug-reports: "https://github.com/thvnx/mlmpfr/issues"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/thvnx/mlmpfr.git"
build: [
["cc" "test.c" "-lmpfr" "-o" "test_installed"]
+1 -1
packages/mlmpfr/mlmpfr.4.0.0/opam
···
authors: "Laurent Thévenoux <lrnt@thvnx.com>"
homepage: "https://github.com/thvnx/mlmpfr"
bug-reports: "https://github.com/thvnx/mlmpfr/issues"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/thvnx/mlmpfr.git"
build: [
["cc" "test.c" "-lmpfr" "-o" "test_installed"]
+1 -1
packages/mlmpfr/mlmpfr.4.0.1/opam
···
authors: "Laurent Thévenoux <lrnt@thvnx.com>"
homepage: "https://github.com/thvnx/mlmpfr"
bug-reports: "https://github.com/thvnx/mlmpfr/issues"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/thvnx/mlmpfr.git"
build: [
["cc" "test.c" "-lmpfr" "-o" "test_installed"]
+1 -1
packages/mlmpfr/mlmpfr.4.0.2+dune/opam
···
authors: "Laurent Thévenoux <lrnt@thvnx.com>"
homepage: "https://github.com/thvnx/mlmpfr"
bug-reports: "https://github.com/thvnx/mlmpfr/issues"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/thvnx/mlmpfr.git"
build: [
["cc" "mlmpfr_compatibility_test.c" "-lmpfr" "-o" "mlmpfr_compatibility_test"]
+1 -1
packages/mlmpfr/mlmpfr.4.0.2/opam
···
authors: "Laurent Thévenoux <lrnt@thvnx.com>"
homepage: "https://github.com/thvnx/mlmpfr"
bug-reports: "https://github.com/thvnx/mlmpfr/issues"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/thvnx/mlmpfr.git"
build: [
["cc" "test.c" "-lmpfr" "-o" "test_installed"]
+1 -1
packages/mlmpfr/mlmpfr.4.1.0/opam
···
authors: "Laurent Thévenoux <lrnt@thvnx.com>"
homepage: "https://github.com/thvnx/mlmpfr"
bug-reports: "https://github.com/thvnx/mlmpfr/issues"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/thvnx/mlmpfr.git"
build: [
["cc" "mlmpfr_compatibility_test.c" "-lmpfr" "-o" "mlmpfr_compatibility_test"]
+1 -1
packages/mlpost-lablgtk/mlpost-lablgtk.0.9/opam
···
doc: "https://backtracking.github.io/mlpost"
synopsis: "Library for adding mlpost graphics in lablgtk"
description: "Library for adding mlpost graphics in lablgtk"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "subst"] {dev}
[
+1 -1
packages/mlpost/mlpost.0.8.1/opam
···
homepage: "http://mlpost.lri.fr/index.fr.html"
dev-repo: "git://github.com/backtracking/mlpost"
bug-reports: "https://github.com/backtracking/mlpost/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
substs: ["opam.patch"]
build: [
["./configure" "--prefix" prefix "--mandir" man]
+1 -1
packages/mlpost/mlpost.0.8.2/opam
···
homepage: "http://mlpost.lri.fr/index.fr.html"
dev-repo: "git://github.com/backtracking/mlpost"
bug-reports: "https://github.com/backtracking/mlpost/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["./configure" "--prefix" prefix "--mandir" man]
[make]
+1 -1
packages/mlpost/mlpost.0.9/opam
···
doc: "https://backtracking.github.io/mlpost"
synopsis : "OCaml library on top of Metapost"
description: "Library for building graphics and figures similarly to Metapost"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "subst"] {dev}
[
+1 -1
packages/mysql/mysql.1.2.4/opam
···
doc: "https://ygrek.org/p/ocaml-mysql/api/index.html"
dev-repo: "git://github.com/ygrek/ocaml-mysql.git"
bug-reports: "https://github.com/ygrek/ocaml-mysql/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: ["org:ygrek"]
build: [
["./configure" "--prefix" "%{prefix}%"]
+1 -1
packages/nbd/nbd.4.0.3/opam
···
opam-version: "2.0"
maintainer: "jonathan.ludlam@citrix.com"
authors: [ "Jonathan Ludlam" "David Scott" "Thomas Sanders" ]
-
license: "LGPL-2 with OCaml linking exception"
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/xapi-project/nbd"
doc: "https://xapi-project.github.io/nbd/nbd/index.html"
dev-repo: "git+https://github.com/xapi-project/nbd.git"
+1 -1
packages/ocaml-migrate-parsetree-ocamlbuild/ocaml-migrate-parsetree-ocamlbuild.1.0.1/opam
···
authors: "Jérémie Dimino <jeremie@dimino.org>"
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: ["syntax" "org:ocamllabs"]
dev-repo: "git://github.com/let-def/ocaml-migrate-parsetree.git"
build: ["jbuilder" "build" "-p" name "-j" jobs]
+1 -1
packages/ocaml-migrate-parsetree-ocamlbuild/ocaml-migrate-parsetree-ocamlbuild.1.2.0/opam
···
authors: [
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/let-def/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.0.6/opam
···
]
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: ["syntax" "org:ocamllabs"]
dev-repo: "git://github.com/let-def/ocaml-migrate-parsetree.git"
build: [
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.0.7/opam
···
]
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: ["syntax" "org:ocamllabs"]
dev-repo: "git://github.com/let-def/ocaml-migrate-parsetree.git"
build: [
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0.1/opam
···
]
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: ["syntax" "org:ocamllabs"]
dev-repo: "git://github.com/let-def/ocaml-migrate-parsetree.git"
build: ["jbuilder" "build" "-p" name "-j" jobs]
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0.10/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0.11/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0.2/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
dev-repo: "git://github.com/let-def/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0.3/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
dev-repo: "git://github.com/let-def/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0.4/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
dev-repo: "git://github.com/let-def/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0.5/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
dev-repo: "git://github.com/let-def/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0.6/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
dev-repo: "git://github.com/let-def/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0.7/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
dev-repo: "git://github.com/let-def/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0.8/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0.9/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.0/opam
···
]
homepage: "https://github.com/let-def/ocaml-migrate-parsetree"
bug-reports: "https://github.com/let-def/ocaml-migrate-parsetree/issues"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: ["syntax" "org:ocamllabs"]
dev-repo: "git://github.com/let-def/ocaml-migrate-parsetree.git"
build: [
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.1.0/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.2.0/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.3.0~4.08.0+beta2/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.3.0~4.08.0+beta3/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.5.0/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.6.0/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.7.1/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.7.2/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.7.3/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.1.8.0/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.2.0.0/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocaml-migrate-parsetree/ocaml-migrate-parsetree.2.1.0/opam
···
"Frédéric Bour <frederic.bour@lakaban.net>"
"Jérémie Dimino <jeremie@dimino.org>"
]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree"
bug-reports: "https://github.com/ocaml-ppx/ocaml-migrate-parsetree/issues"
dev-repo: "git+https://github.com/ocaml-ppx/ocaml-migrate-parsetree.git"
+1 -1
packages/ocamlviz/ocamlviz.1.01/opam
···
homepage: "http://ocamlviz.forge.ocamlcore.org/"
# dev-repo: "svn://svn.forge.ocamlcore.org/svn/ocamlviz/"
bug-reports: "https://forge.ocamlcore.org/tracker/?atid=503&group_id=104&func=browse"
-
license: "LGPL-2.0"
+
license: "LGPL-2.0-only"
build: [
["mkdir" "-p" "%{lib}%/ocamlviz/camlp4"]
["autoconf"]
+1 -1
packages/ocp-browser/ocp-browser.1.2.1/opam
···
]
homepage: "http://www.typerex.org/ocp-index.html"
bug-reports: "https://github.com/OCamlPro/ocp-index/issues"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
tags: [ "org:ocamlpro" "org:typerex" ]
dev-repo: "git+https://github.com/OCamlPro/ocp-index.git"
build: ["dune" "build" "-p" name "-j" jobs]
+1 -1
packages/ocp-browser/ocp-browser.1.2/opam
···
]
homepage: "http://www.typerex.org/ocp-index.html"
bug-reports: "https://github.com/OCamlPro/ocp-index/issues"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
tags: [ "org:ocamlpro" "org:typerex" ]
dev-repo: "git+https://github.com/OCamlPro/ocp-index.git"
build: ["dune" "build" "-p" name "-j" jobs]
+1 -1
packages/ocp-index/ocp-index.1.2.1/opam
···
]
homepage: "http://www.typerex.org/ocp-index.html"
bug-reports: "https://github.com/OCamlPro/ocp-index/issues"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
tags: [ "org:ocamlpro" "org:typerex" ]
dev-repo: "git+https://github.com/OCamlPro/ocp-index.git"
build: ["dune" "build" "-p" name "-j" jobs]
+1 -1
packages/ocp-index/ocp-index.1.2/opam
···
]
homepage: "http://www.typerex.org/ocp-index.html"
bug-reports: "https://github.com/OCamlPro/ocp-index/issues"
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
tags: [ "org:ocamlpro" "org:typerex" ]
dev-repo: "git+https://github.com/OCamlPro/ocp-index.git"
build: ["dune" "build" "-p" name "-j" jobs]
+1 -1
packages/ocplib_stuff/ocplib_stuff.0.2.0/opam
···
# This file was generated by `drom` from `drom.toml`.
# Do not modify or add to the `skip` field of `drom.toml`.
opam-version: "2.0"
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
synopsis: "Basic stuff used by some OCP libraries and tools"
description: """
This library contains some basic stuff that is used in some OCP libraries
+1 -1
packages/ocplib_stuff/ocplib_stuff.0.3.0/opam
···
# This file was generated by `drom` from `drom.toml`.
# Do not modify or add to the `skip` field of `drom.toml`.
opam-version: "2.0"
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
synopsis: "Basic stuff used by some OCP libraries and tools"
description: """\
This library contains some basic stuff that is used in some OCP libraries
+1 -1
packages/odepack/odepack.0.7.1/opam
···
opam-version: "2.0"
maintainer: "Christophe Troestler <Christophe.Troestler@umons.ac.be>"
authors: [ "Christophe Troestler <Christophe.Troestler@umons.ac.be>" ]
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
homepage: "https://github.com/Chris00/ocaml-odepack"
dev-repo: "git+https://github.com/Chris00/ocaml-odepack.git"
bug-reports: "https://github.com/Chris00/ocaml-odepack/issues"
+1 -1
packages/opam-depext/opam-depext.1.1.4/opam
···
"Louis Gesbert <louis.gesbert@ocamlpro.com>"
"Anil Madhavapeddy <anil@recoil.org>"
]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml/opam-depext"
bug-reports: "https://github.com/ocaml/opam-depext/issues"
depends: ["ocaml" {>= "4.00"}]
+1 -1
packages/opam-depext/opam-depext.1.1.5/opam
···
"Louis Gesbert <louis.gesbert@ocamlpro.com>"
"Anil Madhavapeddy <anil@recoil.org>"
]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/ocaml/opam-depext"
bug-reports: "https://github.com/ocaml/opam-depext/issues"
depends: ["ocaml" {>= "4.00"}]
+1 -1
packages/opam_bin_lib/opam_bin_lib.0.9.4/opam
···
# This file was generated by `drom` from `drom.toml`.
# Do not modify or add to the `skip` field of `drom.toml`.
opam-version: "2.0"
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
synopsis:
"The opam-bin tool is a simple framework to use `opam` with binary packages (library)"
description: """
+1 -1
packages/opam_bin_lib/opam_bin_lib.0.9.5/opam
···
# This file was generated by `drom` from `drom.toml`.
# Do not modify or add to the `skip` field of `drom.toml`.
opam-version: "2.0"
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
synopsis:
"The opam-bin tool is a simple framework to use `opam` with binary packages"
description: """\
+1 -1
packages/pandoc-abbreviations/pandoc-abbreviations.0.1.0/opam
···
"This pandoc filter adds non-breaking spaces after the abbreviations listed in the `abbreviations` file"
maintainer: ["Samuel Mimram <smimram@gmail.com>"]
authors: ["Samuel Mimram <smimram@gmail.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/smimram/ocaml-pandoc"
bug-reports: "https://github.com/smimram/ocaml-pandoc/issues"
depends: [
+1 -1
packages/pandoc-crossref/pandoc-crossref.0.1.0/opam
···
"This pandoc filter replaces #chap: and #sec: references to cref invokations"
maintainer: ["Samuel Mimram <smimram@gmail.com>"]
authors: ["Samuel Mimram <smimram@gmail.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/smimram/ocaml-pandoc"
bug-reports: "https://github.com/smimram/ocaml-pandoc/issues"
depends: [
+1 -1
packages/pandoc-include/pandoc-include.0.1.0/opam
···
"This pandoc filter allows the inclusion of other markdown files into markdown"
maintainer: ["Samuel Mimram <smimram@gmail.com>"]
authors: ["Samuel Mimram <smimram@gmail.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/smimram/ocaml-pandoc"
bug-reports: "https://github.com/smimram/ocaml-pandoc/issues"
depends: [
+1 -1
packages/pandoc-inspect/pandoc-inspect.0.1.0/opam
···
"This pandoc filter prints pandoc's internal JSON on the standard error"
maintainer: ["Samuel Mimram <smimram@gmail.com>"]
authors: ["Samuel Mimram <smimram@gmail.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/smimram/ocaml-pandoc"
bug-reports: "https://github.com/smimram/ocaml-pandoc/issues"
depends: [
+1 -1
packages/pandoc/pandoc.0.1.0/opam
···
"This library helps writing filters for pandoc, which is a tool to convert between textual formats notably, markdown and LaTeX"
maintainer: ["Samuel Mimram <smimram@gmail.com>"]
authors: ["Samuel Mimram <smimram@gmail.com>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/smimram/ocaml-pandoc"
bug-reports: "https://github.com/smimram/ocaml-pandoc/issues"
depends: [
+1 -1
packages/pcre/pcre.7.4.2/opam
···
opam-version: "2.0"
maintainer: "Markus Mottl <markus.mottl@gmail.com>"
authors: [ "Markus Mottl <markus.mottl@gmail.com>" ]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
homepage: "https://mmottl.github.io/pcre-ocaml"
doc: "https://mmottl.github.io/pcre-ocaml/api"
dev-repo: "git+https://github.com/mmottl/pcre-ocaml.git"
+1 -1
packages/pcre/pcre.7.4.3/opam
···
bug-reports: "https://github.com/mmottl/pcre-ocaml/issues"
homepage: "https://mmottl.github.io/pcre-ocaml"
doc: "https://mmottl.github.io/pcre-ocaml/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/pcre-ocaml.git"
synopsis: "Bindings to the Perl Compatibility Regular Expressions library"
description: """
+1 -1
packages/pcre/pcre.7.4.4/opam
···
bug-reports: "https://github.com/mmottl/pcre-ocaml/issues"
homepage: "https://mmottl.github.io/pcre-ocaml"
doc: "https://mmottl.github.io/pcre-ocaml/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/pcre-ocaml.git"
synopsis: "Bindings to the Perl Compatibility Regular Expressions library"
description: """
+1 -1
packages/pcre/pcre.7.4.6/opam
···
bug-reports: "https://github.com/mmottl/pcre-ocaml/issues"
homepage: "https://mmottl.github.io/pcre-ocaml"
doc: "https://mmottl.github.io/pcre-ocaml/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/pcre-ocaml.git"
synopsis: "Bindings to the Perl Compatibility Regular Expressions library"
description: """
+1 -1
packages/pgocaml/pgocaml.4.0/opam
···
homepage: "https://github.com/darioteixeira/pgocaml"
bug-reports: "https://github.com/darioteixeira/pgocaml/issues"
dev-repo: "git+https://github.com/darioteixeira/pgocaml.git"
-
license: "LGPL-2.0 with OCaml linking exception"
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
build: [["dune" "build" "-p" name "-j" jobs]]
depends: [
"calendar" {>= "2.00"}
+1 -1
packages/pgocaml/pgocaml.4.2.2/opam
···
homepage: "https://github.com/darioteixeira/pgocaml"
bug-reports: "https://github.com/darioteixeira/pgocaml/issues"
dev-repo: "git+https://github.com/darioteixeira/pgocaml.git"
-
license: "LGPL-2.0 with OCaml linking exception"
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
build: [["dune" "build" "-p" name "-j" jobs]]
depends: [
"calendar" {>= "2.00"}
+1 -1
packages/pgocaml/pgocaml.4.2/opam
···
homepage: "https://github.com/darioteixeira/pgocaml"
bug-reports: "https://github.com/darioteixeira/pgocaml/issues"
dev-repo: "git+https://github.com/darioteixeira/pgocaml.git"
-
license: "LGPL-2.0 with OCaml linking exception"
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
build: [["dune" "build" "-p" name "-j" jobs]]
depends: [
"calendar" {>= "2.00"}
+1 -1
packages/pgocaml_ppx/pgocaml_ppx.4.0/opam
···
homepage: "https://github.com/darioteixeira/pgocaml"
bug-reports: "https://github.com/darioteixeira/pgocaml/issues"
dev-repo: "git+https://github.com/darioteixeira/pgocaml.git"
-
license: "LGPL-2.0 with OCaml linking exception"
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
build: [["dune" "build" "-p" name "-j" jobs]]
depends: [
"dune" {>= "1.10"}
+1 -1
packages/pgocaml_ppx/pgocaml_ppx.4.2.2/opam
···
homepage: "https://github.com/darioteixeira/pgocaml"
bug-reports: "https://github.com/darioteixeira/pgocaml/issues"
dev-repo: "git+https://github.com/darioteixeira/pgocaml.git"
-
license: "LGPL-2.0 with OCaml linking exception"
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
build: [["dune" "build" "-p" name "-j" jobs]]
depends: [
"dune" {>= "1.10"}
+1 -1
packages/pgocaml_ppx/pgocaml_ppx.4.2/opam
···
homepage: "https://github.com/darioteixeira/pgocaml"
bug-reports: "https://github.com/darioteixeira/pgocaml/issues"
dev-repo: "git+https://github.com/darioteixeira/pgocaml.git"
-
license: "LGPL-2.0 with OCaml linking exception"
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
build: [["dune" "build" "-p" name "-j" jobs]]
depends: [
"dune" {>= "1.10"}
+1 -1
packages/pgx/pgx.0.1/opam
···
opam-version: "2.0"
authors: ["Arena Developers <silver-snakes@arena.io>"]
maintainer: "silver-snakes@arena.io"
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
dev-repo: "git+https://github.com/arenadotio/pgx.git"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx/pgx.1.0/opam
···
"PGX is a pure-OCaml PostgreSQL client library, supporting Async, LWT, or synchronous operations."
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx/pgx.2.0/opam
···
"PGX is a pure-OCaml PostgreSQL client library, supporting Async, LWT, or synchronous operations."
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_async/pgx_async.0.1/opam
···
opam-version: "2.0"
authors: ["Arena Developers <silver-snakes@arena.io>"]
maintainer: "silver-snakes@arena.io"
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
dev-repo: "git+https://github.com/arenadotio/pgx.git"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_async/pgx_async.1.0/opam
···
description: "Pgx using Async for IO"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_async/pgx_async.2.0/opam
···
description: "Pgx using Async for IO"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_lwt/pgx_lwt.0.1/opam
···
opam-version: "2.0"
authors: ["Arena Developers <silver-snakes@arena.io>"]
maintainer: "silver-snakes@arena.io"
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
dev-repo: "git+https://github.com/arenadotio/pgx.git"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_lwt/pgx_lwt.1.0/opam
···
description: "Pgx using Lwt for IO"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_lwt/pgx_lwt.2.0/opam
···
description: "Pgx using Lwt for IO"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_lwt_mirage/pgx_lwt_mirage.1.0/opam
···
description: "Pgx using Lwt on Mirage for IO"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_lwt_mirage/pgx_lwt_mirage.2.0/opam
···
description: "Pgx using Lwt on Mirage for IO"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_lwt_unix/pgx_lwt_unix.1.0/opam
···
description: "Pgx using Lwt and Unix libraries for IO"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_lwt_unix/pgx_lwt_unix.2.0/opam
···
description: "Pgx using Lwt and Unix libraries for IO"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_unix/pgx_unix.0.1/opam
···
opam-version: "2.0"
authors: ["Arena Developers <silver-snakes@arena.io>"]
maintainer: "silver-snakes@arena.io"
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
dev-repo: "git+https://github.com/arenadotio/pgx.git"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_unix/pgx_unix.1.0/opam
···
"PGX using the standard library's Unix module for IO (synchronous)"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_unix/pgx_unix.2.0/opam
···
"PGX using the standard library's Unix module for IO (synchronous)"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_value_core/pgx_value_core.1.0/opam
···
description: "Pgx_value converters for Core types like Date and Time"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/pgx_value_core/pgx_value_core.2.0/opam
···
description: "Pgx_value converters for Core types like Date and Time"
maintainer: ["Arena Developers <silver-snakes@arena.io>"]
authors: ["Arena Developers <silver-snakes@arena.io>"]
-
license: "LGPL-2.1 WITH OCaml-LGPL-linking-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/arenadotio/pgx"
doc: "https://arenadotio.github.io/pgx"
bug-reports: "https://github.com/arenadotio/pgx/issues"
+1 -1
packages/phox/phox.0.89.170929/opam
···
authors:
[ "Christophe Raffalli <christophe.raffalli@univ-savoie.fr>"]
homepage: "https://lama.univ-savoie.fr/~raffalli/phox.html"
-
license: "LGPL-3.0"
+
license: "LGPL-3.0-only"
dev-repo: "git+https://github.com/craff/phox.git"
build: [make]
install: [make "install" "PREFIX=%{prefix}%"]
+1 -1
packages/pilat/pilat.1.3/opam
···
dev-repo: "git+https://github.com/Stevendeo/Pilat.git"
homepage: "https://github.com/Stevendeo/Pilat/"
bug-reports: "https://github.com/Stevendeo/Pilat/"
-
license: "LGPLv2.1"
+
license: "LGPL-2.1-only"
build: ["sh" "make.sh"]
install: ["sh" "install.sh"]
depends: [
+1 -1
packages/plplot/plplot.5.11.0-1/opam
···
opam-version: "2.0"
maintainer: "Hezekiah M. Carty <hez@0ok.org>"
authors: [ "Hezekiah M. Carty <hez@0ok.org>" ]
-
license: "LGPL-2.1 with OCaml linking exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/hcarty/ocaml-plplot/"
dev-repo: "git://github.com/hcarty/ocaml-plplot.git"
bug-reports: "https://github.com/hcarty/ocaml-plplot/issues"
+1 -1
packages/portaudio/portaudio.0.2.2/opam
···
"Bindings for the portaudio library which provides high-level functions for using soundcards"
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-portaudio"
bug-reports: "https://github.com/savonet/ocaml-portaudio/issues"
depends: [
+1 -1
packages/postgresql/postgresql.4.5.1/opam
···
"Markus Mottl <markus.mottl@gmail.com>"
"Petter Urkedal <paurkedal@gmail.com>"
]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
homepage: "https://mmottl.github.io/postgresql-ocaml"
doc: "https://mmottl.github.io/postgresql-ocaml/api"
dev-repo: "git+https://github.com/mmottl/postgresql-ocaml.git"
+1 -1
packages/postgresql/postgresql.4.5.2/opam
···
bug-reports: "https://github.com/mmottl/postgresql-ocaml/issues"
homepage: "https://mmottl.github.io/postgresql-ocaml"
doc: "https://mmottl.github.io/postgresql-ocaml/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/postgresql-ocaml.git"
synopsis: "Bindings to the PostgreSQL library"
description:
+1 -1
packages/postgresql/postgresql.4.6.0/opam
···
bug-reports: "https://github.com/mmottl/postgresql-ocaml/issues"
homepage: "https://mmottl.github.io/postgresql-ocaml"
doc: "https://mmottl.github.io/postgresql-ocaml/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/postgresql-ocaml.git"
synopsis: "Bindings to the PostgreSQL library"
description:
+1 -1
packages/postgresql/postgresql.4.6.1/opam
···
bug-reports: "https://github.com/mmottl/postgresql-ocaml/issues"
homepage: "https://mmottl.github.io/postgresql-ocaml"
doc: "https://mmottl.github.io/postgresql-ocaml/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/postgresql-ocaml.git"
synopsis: "Bindings to the PostgreSQL library"
description:
+1 -1
packages/postgresql/postgresql.4.6.2/opam
···
bug-reports: "https://github.com/mmottl/postgresql-ocaml/issues"
homepage: "https://mmottl.github.io/postgresql-ocaml"
doc: "https://mmottl.github.io/postgresql-ocaml/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/postgresql-ocaml.git"
synopsis: "Bindings to the PostgreSQL library"
description:
+1 -1
packages/postgresql/postgresql.4.6.3/opam
···
bug-reports: "https://github.com/mmottl/postgresql-ocaml/issues"
homepage: "https://mmottl.github.io/postgresql-ocaml"
doc: "https://mmottl.github.io/postgresql-ocaml/api"
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/mmottl/postgresql-ocaml.git"
synopsis: "Bindings to the PostgreSQL library"
description:
+1 -1
packages/ppx_compose/ppx_compose.0.1.0/opam
···
opam-version: "2.0"
maintainer: "Petter A. Urkedal <paurkedal@gmail.com>"
authors: "Petter A. Urkedal <paurkedal@gmail.com>"
-
license: "LGPL-3 with OCaml linking exception"
+
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/paurkedal/ppx_compose"
bug-reports: "https://github.com/paurkedal/ppx_compose/issues"
depends: [
+1 -1
packages/ppx_cstubs/ppx_cstubs.0.3.0/opam
···
opam-version: "2.0"
maintainer: "andreashauptmann@t-online.de"
authors: [ "andreashauptmann@t-online.de" ]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
homepage: "https://fdopen.github.io/ppx_cstubs/"
dev-repo: "git+https://github.com/fdopen/ppx_cstubs.git"
doc: "https://fdopen.github.io/ppx_cstubs/"
+1 -1
packages/ppx_cstubs/ppx_cstubs.0.4.0/opam
···
opam-version: "2.0"
maintainer: "andreashauptmann@t-online.de"
authors: [ "andreashauptmann@t-online.de" ]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
homepage: "https://fdopen.github.io/ppx_cstubs/"
dev-repo: "git+https://github.com/fdopen/ppx_cstubs.git"
doc: "https://fdopen.github.io/ppx_cstubs/"
+1 -1
packages/ppx_cstubs/ppx_cstubs.0.4.1/opam
···
opam-version: "2.0"
maintainer: "andreashauptmann@t-online.de"
authors: [ "andreashauptmann@t-online.de" ]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
homepage: "https://fdopen.github.io/ppx_cstubs/"
dev-repo: "git+https://github.com/fdopen/ppx_cstubs.git"
doc: "https://fdopen.github.io/ppx_cstubs/"
+1 -1
packages/ppx_cstubs/ppx_cstubs.0.4.3/opam
···
opam-version: "2.0"
maintainer: "andreashauptmann@t-online.de"
authors: [ "andreashauptmann@t-online.de" ]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
homepage: "https://fdopen.github.io/ppx_cstubs/"
dev-repo: "git+https://github.com/fdopen/ppx_cstubs.git"
doc: "https://fdopen.github.io/ppx_cstubs/"
+1 -1
packages/ppx_cstubs/ppx_cstubs.0.5.0/opam
···
opam-version: "2.0"
maintainer: "andreashauptmann@t-online.de"
authors: [ "andreashauptmann@t-online.de" ]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
homepage: "https://fdopen.github.io/ppx_cstubs/"
dev-repo: "git+https://github.com/fdopen/ppx_cstubs.git"
doc: "https://fdopen.github.io/ppx_cstubs/"
+1 -1
packages/ppx_cstubs/ppx_cstubs.0.6.0/opam
···
opam-version: "2.0"
maintainer: "andreashauptmann@t-online.de"
authors: [ "andreashauptmann@t-online.de" ]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
homepage: "https://fdopen.github.io/ppx_cstubs/"
dev-repo: "git+https://github.com/fdopen/ppx_cstubs.git"
doc: "https://fdopen.github.io/ppx_cstubs/"
+1 -1
packages/ppx_cstubs/ppx_cstubs.0.6.1/opam
···
opam-version: "2.0"
maintainer: "andreashauptmann@t-online.de"
authors: [ "andreashauptmann@t-online.de" ]
-
license: "LGPL-2.1+ with OCaml linking exception"
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
homepage: "https://fdopen.github.io/ppx_cstubs/"
dev-repo: "git+https://github.com/fdopen/ppx_cstubs.git"
doc: "https://fdopen.github.io/ppx_cstubs/"
+1 -1
packages/ppx_regexp/ppx_regexp.0.4.3/opam
···
"Petter A. Urkedal <paurkedal@gmail.com>"
"Gabriel Radanne <drupyog@zoho.com>"
]
-
license: "LGPL-3 with OCaml linking exception"
+
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/paurkedal/ppx_regexp"
bug-reports: "https://github.com/paurkedal/ppx_regexp/issues"
depends: [
+1 -1
packages/ppx_tyre/ppx_tyre.0.4.3/opam
···
"Gabriel Radanne <drupyog@zoho.com>"
"Petter A. Urkedal <paurkedal@gmail.com>"
]
-
license: "LGPL-3 with OCaml linking exception"
+
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://github.com/paurkedal/ppx_regexp"
bug-reports: "https://github.com/paurkedal/ppx_regexp/issues"
depends: [
+1 -1
packages/ptmap/ptmap.2.0.4/opam
···
homepage: "https://www.lri.fr/~filliatr/software.en.html"
bug-reports: "https://github.com/backtracking/ptmap/issues"
dev-repo: "git+https://github.com/backtracking/ptmap.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["obuild" "configure"]
["obuild" "build" "lib-ptmap"]
+1 -1
packages/ptmap/ptmap.2.0.5/opam
···
synopsis: "Maps of integers implemented as Patricia trees"
description: "An implementation inspired by Okasaki & Gill's paper
'Fast Mergeable Integer Maps'"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/backtracking/ptmap"
doc: "https://backtracking.github.io/ptmap"
bug-reports: "https://github.com/backtracking/ptmap/issues"
+1 -1
packages/ptset/ptset.1.0.0/opam
···
homepage: "https://www.lri.fr/~filliatr/software.en.html"
bug-reports: "https://github.com/UnixJunkie/ptset/issues"
dev-repo: "git+https://github.com/UnixJunkie/ptset.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
build: [
["obuild" "configure"]
["obuild" "build" "lib-ptset"]
+1 -1
packages/ptset/ptset.1.0.1/opam
···
synopsis: "Sets of integers implemented as Patricia trees"
description: "An implementation inspired by Okasaki & Gill's paper
'Fast Mergeable Integer Maps'"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/backtracking/ptset"
doc: "https://backtracking.github.io/ptset"
bug-reports: "https://github.com/backtracking/ptset/issues"
+1 -1
packages/pulseaudio/pulseaudio.0.1.4/opam
···
synopsis: "Bindings to Pulseaudio client library"
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-pulseaudio"
bug-reports: "https://github.com/savonet/ocaml-pulseaudio/issues"
depends: [
+1 -1
packages/resto-acl/resto-acl.0.6/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp-client/resto-cohttp-client.0.2/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp-client/resto-cohttp-client.0.3/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp-client/resto-cohttp-client.0.4/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp-client/resto-cohttp-client.0.5/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp-client/resto-cohttp-client.0.6/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp-self-serving-client/resto-cohttp-self-serving-client.0.6/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp-server/resto-cohttp-server.0.2/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp-server/resto-cohttp-server.0.3/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp-server/resto-cohttp-server.0.4/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp-server/resto-cohttp-server.0.5/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp-server/resto-cohttp-server.0.6/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp/resto-cohttp.0.2/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp/resto-cohttp.0.3/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp/resto-cohttp.0.4/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp/resto-cohttp.0.5/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-cohttp/resto-cohttp.0.6/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-directory/resto-directory.0.2/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-directory/resto-directory.0.3/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-directory/resto-directory.0.4/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-directory/resto-directory.0.5/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-directory/resto-directory.0.6/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-json/resto-json.0.2/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-json/resto-json.0.3/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-json/resto-json.0.4/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-json/resto-json.0.5/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto-json/resto-json.0.6/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto/resto.0.2/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto/resto.0.3/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto/resto.0.4/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto/resto.0.5/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/resto/resto.0.6/opam
···
opam-version: "2.0"
maintainer: "contact@nomadic-labs.com"
authors: [ "Nomadic Labs" "Ocamlpro" ]
-
license: "LGPL-2.1-with-OCaml-exception"
+
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/nomadic-labs/resto"
bug-reports: "https://gitlab.com/nomadic-labs/resto/issues"
dev-repo: "git+https://gitlab.com/nomadic-labs/resto"
+1 -1
packages/rmlbuild/rmlbuild.0.14.0-00/opam
···
"Louis Mandel"
]
-
license: "LGPL-2 with OCaml linking exception"
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
dev-repo: "git+https://github.com/reactiveml/rmlbuild.git"
homepage: "https://github.com/reactiveml/rmlbuild/"
bug-reports: "https://github.com/reactiveml/rmlbuild/issues"
+1 -1
packages/samplerate/samplerate.0.1.5/opam
···
"Bindings for the samplerate library which provides functions for changing samplerate of audio data"
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-samplerate"
bug-reports: "https://github.com/savonet/ocaml-samplerate/issues"
depends: [
+1 -1
packages/satyrographos/satyrographos.0.0.2.1/opam
···
homepage: "https://github.com/na4zagin3/satyrographos"
dev-repo: "git+https://github.com/na4zagin3/satyrographos.git"
bug-reports: "https://github.com/na4zagin3/satyrographos/issues"
-
license: "LGPL3+"
+
license: "LGPL-3.0-or-later"
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
+1 -1
packages/semaphore-compat/semaphore-compat.1.0.0/opam
···
"""
maintainer: ["Craig Ferguson <me@craigfe.io>"]
authors: ["Xavier Leroy"]
-
license: "LGPLv2"
+
license: "LGPL-2.0-only"
homepage: "https://github.com/mirage/semaphore-compat"
doc: "https://mirage.github.io/semaphore-compat"
bug-reports: "https://github.com/mirage/semaphore-compat/issues"
+1 -1
packages/semaphore-compat/semaphore-compat.1.0.1/opam
···
"""
maintainer: ["Craig Ferguson <me@craigfe.io>"]
authors: ["Xavier Leroy"]
-
license: "LGPLv2"
+
license: "LGPL-2.0-only"
homepage: "https://github.com/mirage/semaphore-compat"
doc: "https://mirage.github.io/semaphore-compat"
bug-reports: "https://github.com/mirage/semaphore-compat/issues"
+1 -1
packages/seq/seq.0.2.1/opam
···
synopsis:
"Compatibility package for OCaml's standard iterator type starting from 4.07"
maintainer: "simon.cruanes.2007@m4x.org"
-
license: "LGPL2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "build" "-p" name "-j" jobs]
]
+1 -1
packages/seq/seq.0.2.2/opam
···
synopsis:
"Compatibility package for OCaml's standard iterator type starting from 4.07"
maintainer: "simon.cruanes.2007@m4x.org"
-
license: "LGPL2.1"
+
license: "LGPL-2.1-only"
build: [
["dune" "build" "-p" name "-j" jobs]
]
+1 -1
packages/seq/seq.0.2/opam
···
"Compatibility package for OCaml's standard iterator type starting from 4.07"
maintainer: "simon.cruanes.2007@m4x.org"
authors: "Simon Cruanes"
-
license: "LGPL2.1"
+
license: "LGPL-2.1-only"
tags: ["iterator" "seq" "pure" "list" "compatibility" "cascade"]
homepage: "https://github.com/c-cube/seq/"
bug-reports: "https://github.com/c-cube/seq/issues"
+1 -1
packages/soundtouch/soundtouch.0.1.9/opam
···
"Bindings for the soundtouch library which provides functions for changing pitch and timestretching audio data"
maintainer: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
authors: ["The Savonet Team <savonet-users@lists.sourceforge.net>"]
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
homepage: "https://github.com/savonet/ocaml-soundtouch"
bug-reports: "https://github.com/savonet/ocaml-soundtouch/issues"
depends: [
+1 -1
packages/toml/toml.6.0.0/opam
···
description: """The toml library provides a parser and serializer for Tom's Obvious Minimal Language v0.4.0, a minimal configuration file format.
Helpful getters to retrieve data as OCaml primitive types are also supplied"""
build: [ "dune" "build" "-p" name "-j" jobs]
-
license: "LGPL3"
+
license: "LGPL-3.0-only"
depends: [
"ocaml" {>= "4.02"}
"dune" {>= "1.2"}
+1 -1
packages/toml/toml.7.0.0/opam
···
"orbifx"
"c-cube"
]
-
license: "LGPL3"
+
license: "LGPL-3.0-only"
homepage: "https://ocaml-toml.github.io/To.ml/"
doc: "https://ocaml-toml.github.io/To.ml/api/"
bug-reports: "https://github.com/ocaml-toml/To.ml/issues"
+1 -1
packages/toml_cconv/toml_cconv.6.0.0/opam
···
synopsis: "Interface between cconv and toml"
description: "Allows to use TOML encoding/decoding with cconv"
build: [ "dune" "build" "-p" name "-j" jobs]
-
license: "LGPL3"
+
license: "LGPL-3.0-only"
depends: [
"ocaml" {>= "4.02"}
"dune" {>= "1.2"}
+1 -1
packages/toml_cconv/toml_cconv.7.0.0/opam
···
"orbifx"
"c-cube"
]
-
license: "LGPL3"
+
license: "LGPL-3.0-only"
homepage: "https://ocaml-toml.github.io/To.ml/"
doc: "https://ocaml-toml.github.io/To.ml/api/"
bug-reports: "https://github.com/ocaml-toml/To.ml/issues"
+1 -1
packages/why/why.2.32/opam
···
doc: ["http://krakatoa.lri.fr/"]
# dev-repo: "https://guest:guest@www.lri.fr/svn/demons/why2/trunk/"
bug-reports: "https://gforge.inria.fr/tracker/?atid=4012&group_id=999&func=browse"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"deductive"
"program verification"
+1 -1
packages/why/why.2.33/opam
···
"Romain Bardou"
]
homepage: "http://krakatoa.lri.fr/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
doc: ["http://krakatoa.lri.fr/#jessie"]
# dev-repo: "https://guest:guest@www.lri.fr/svn/demons/why2/trunk/"
bug-reports: "https://gforge.inria.fr/tracker/?atid=4012&group_id=999&func=browse"
+1 -1
packages/why/why.2.34/opam
···
"Romain Bardou"
]
homepage: "http://krakatoa.lri.fr/"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
doc: ["http://krakatoa.lri.fr/#jessie"]
# dev-repo: "https://guest:guest@www.lri.fr/svn/demons/why2/trunk/"
bug-reports: "https://gforge.inria.fr/tracker/?atid=4012&group_id=999&func=browse"
+1 -1
packages/why/why.2.35/opam
···
doc: ["http://krakatoa.lri.fr/"]
# dev-repo: "https://guest:guest@www.lri.fr/svn/demons/why2/trunk/"
bug-reports: "https://gforge.inria.fr/tracker/?atid=4012&group_id=999&func=browse"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"deductive"
"program verification"
+1 -1
packages/why/why.2.36/opam
···
homepage: "http://krakatoa.lri.fr/"
doc: ["http://krakatoa.lri.fr/"]
bug-reports: "https://gforge.inria.fr/tracker/?atid=4012&group_id=999&func=browse"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"deductive"
"program verification"
+1 -1
packages/why/why.2.37/opam
···
homepage: "http://krakatoa.lri.fr/"
doc: ["http://krakatoa.lri.fr/"]
bug-reports: "https://gforge.inria.fr/tracker/?atid=4012&group_id=999&func=browse"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"deductive"
"program verification"
+1 -1
packages/why/why.2.38/opam
···
doc: ["http://krakatoa.lri.fr/"]
bug-reports: "https://gforge.inria.fr/tracker/?atid=4012&group_id=999&func=browse"
dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/why/why.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"deductive"
"program verification"
+1 -1
packages/why/why.2.39/opam
···
doc: ["http://krakatoa.lri.fr/"]
bug-reports: "https://gforge.inria.fr/tracker/?atid=4012&group_id=999&func=browse"
dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/why/why.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"deductive"
"program verification"
+1 -1
packages/why/why.2.40/opam
···
doc: ["http://krakatoa.lri.fr/"]
bug-reports: "https://gforge.inria.fr/tracker/?atid=4012&group_id=999&func=browse"
dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/why/why.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"deductive"
"program verification"
+1 -1
packages/why/why.2.41/opam
···
doc: ["http://krakatoa.lri.fr/"]
bug-reports: "https://gforge.inria.fr/tracker/?atid=4012&group_id=999&func=browse"
dev-repo: "git+https://scm.gforge.inria.fr/anonscm/git/why/why.git"
-
license: "LGPL-2.1"
+
license: "LGPL-2.1-only"
tags: [
"deductive"
"program verification"