Cleanup - Githubissues

gfngfn / SATySFi

A statically-typed, functional typesetting system

GNU Lesser General Public License v3.0

1.17k stars 83 forks source link

Closed smorimoto closed 2 months ago

smorimoto commented 3 months ago

Remove preventative upper bounds for dependencies
- https://github.com/ocaml/opam-repository/wiki/Policies#5-strict-dependency-constraints-should-be-avoided---or-preventive-upper-bounds
Replace genversion with dune-build-info
Replace the Makefile-based one with the dune-based one
- Delegate opam installation to dune (See satysfi.opam)

smorimoto commented 3 months ago

Ready to merge!

smorimoto commented 2 months ago

Gentle ping

smorimoto commented 2 months ago

@gfngfn Ready to merge!

gfngfn commented 2 months ago

Thank you so much for arranging!

gfngfn commented 2 months ago

Oops, merging failed and the CI workflows started to run again :confused:

smorimoto commented 2 months ago

Oops 😅

smorimoto commented 2 months ago

Thanks a lot @gfngfn!

gfngfn commented 2 months ago

Successfully merged :+1: