Skip to content

GitLab

Switch branch/tag
  1. 07 Jul, 2021 4 commits
  3. 05 Jul, 2021 2 commits
  5. 01 Jul, 2021 1 commit
  7. 26 May, 2021 2 commits
  9. 24 Jul, 2020 1 commit
  11. 11 May, 2020 1 commit
  13. 27 Apr, 2020 1 commit
  15. 17 Mar, 2020 1 commit
  17. 13 Mar, 2020 2 commits
  19. 07 Jan, 2020 2 commits
  21. 03 Dec, 2019 1 commit
  23. 01 Dec, 2019 1 commit
  25. 19 Sep, 2019 1 commit
  27. 04 Sep, 2019 1 commit
  29. 03 Sep, 2019 2 commits
    • erwan's avatar
      Build: make a smaller tgz for opam · 3218622f
      erwan authored
      3218622f
    • erwan's avatar
      Update: use dune instead of oasis · abd625df
      erwan authored 
      Remove a lot of warnings (considered as errors by dune).

Split the lutin opam package into several ones:
- lutin
- ezdl
- gbddml

Also, I've merge the content of lutin-utils into lutin.

Note that this opam "package split/ocaml library merge" move is
somewhat imposed by the fact that dune impose the use of one opam
package per library (if I got it correctly). But as a matter of fact,
merging lutin and lutin-utils libs makes sense. Having standalone ezdl
and gbddml opam packages too.
      abd625df
  31. 29 Aug, 2019 1 commit
  33. 22 Aug, 2019 7 commits
  35. 21 Aug, 2019 1 commit
  37. 02 Aug, 2019 1 commit
  39. 26 Jul, 2019 3 commits
  41. 11 Jul, 2019 2 commits
  43. 09 Jul, 2019 1 commit
  45. 03 Jul, 2019 1 commit