search

coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
Other
68 stars 6 forks source link

Proposal to move Parseque to Coq-community #153

Closed palmskog closed 1 year ago

palmskog commented 1 year ago

Project name: Parseque

Initial author(s): @gallais

Current URL: https://github.com/gallais/parseque

Kind: pure Coq library

License: GPL-3.0

Description: Total parser combinators in Coq, a port of agdarsec to Coq.

Status: maintained, but @gallais would like to transfer maintainership

New maintainer: @womeier, as per this comment

While the current license is GPL-3.0, @gallais indicated here that the project could be relicensed to a more permissive license to, e.g., avoid problems with depending on both this library and projects like MathComp that use CECILL-B that is incompatible with GPL-3.0. This would solve some licensing issues for WasmCert-Coq.

cc: @spitters

palmskog commented 1 year ago

@gallais @womeier our recommended license for projects in Coq-community is the permissive MIT license. Is this license OK with you as the new license for Parseque after the transfer?

If so, let me know here. I will then invite @gallais to the Coq-community organization so the repository can be transferred.

gallais commented 1 year ago

Yes, I'm happy with that.

womeier commented 1 year ago

@palmskog small correction: I just did maintenance work, should not be named as an original author.

palmskog commented 1 year ago

@gallais you should now be able to transfer the repo by going to the repo settings and the "Danger Zone" options there, by entering the coq-community organization name. Once the transfer is done, I can take things from there.

palmskog commented 1 year ago

Since the repository has now been moved, I will close this issue and we can continue the discussion in issues and pull requests to the repo: https://github.com/coq-community/parseque