Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / facile
Commits:
-
57577a96
by Stephane Glondu at 2021-11-29T13:34:00+01:00
-
e2cd9794
by Stephane Glondu at 2021-11-29T13:34:28+01:00
-
d5cd90f2
by Stephane Glondu at 2021-11-29T13:34:28+01:00
-
9c17cf2c
by Stephane Glondu at 2021-11-29T13:34:35+01:00
-
54857b36
by Stephane Glondu at 2021-11-29T13:36:07+01:00
-
8dbd961e
by Stephane Glondu at 2021-11-29T13:42:56+01:00
-
a98c823b
by Stephane Glondu at 2021-11-29T13:50:49+01:00
-
8d60f3f8
by Stephane Glondu at 2021-11-29T13:51:52+01:00
30 changed files:
- + CHANGES.md
- LICENSE → LICENSE.md
- − Makefile
- − README
- + README.md
- − configure
- debian/changelog
- debian/control
- + debian/libfacile-ocaml-dev.docs
- debian/libfacile-ocaml-dev.install.in
- − debian/patches/0001-Make-facile-available-for-more-architectures.patch
- + debian/patches/0001-Run-dune-upgrade.patch
- − debian/patches/0002-Make-facile-available-for-more-architectures.patch
- − debian/patches/0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch
- − debian/patches/0004-Allow-overriding-OCAMLC-in-examples.patch
- debian/patches/series
- debian/rules
- debian/watch
- + facile.opam
- src/Makefile → lib/Makefile
- src/facile.ml → lib/facile.ml
- src/facile.mli → lib/facile.mli
- src/fcl_alldiff.ml → lib/fcl_alldiff.ml
- src/fcl_alldiff.mli → lib/fcl_alldiff.mli
- src/fcl_arith.ml → lib/fcl_arith.ml
- src/fcl_arith.mli → lib/fcl_arith.mli
- src/fcl_boolean.ml → lib/fcl_boolean.ml
- src/fcl_boolean.mli → lib/fcl_boolean.mli
- src/fcl_conjunto.ml → lib/fcl_conjunto.ml
- src/fcl_conjunto.mli → lib/fcl_conjunto.mli