Skip to content

Rename package

Sylvain Fargier requested to merge wip-pkg into master
  • Also update deps and clean typechecking

Merge request reports