v0.3.0: Release for Rocq 9.0

Updated to Rocq version 9.0.

This version is available on opam with the new name rocq-parseque.

v0.2.2: Performance improvement

When extracting a parser that uses the <|> combinator to OCaml, the short-circuit semantics is now respected.
This results in a substantial performance improvement.

See #14

Thanks @raoxiaojia !

This is the last version compatible with Coq 9.0.

Release for Coq 8.19

Merge pull request #12 from coq-community/update-boilerplate

Update boilerplate

Release with MIT license

cleanup, move to coq-community, move to MIT license

Release for Coq version 8.18

v0.1.2

fix deprecates, add support for 8.18, require at least 8.16

Release for Coq 8.17

v0.1.1

update Makefile

v0.1.0: initial release

first release of parseque packaged with opam