summaryrefslogtreecommitdiff
path: root/_oasis
Commit message (Collapse)AuthorAgeFilesLines
* bump versionv2.0Philipp Gesang2018-12-091-1/+1
| | | | Increment major version due to API breakage.
* fix opam build, bump versionv1.1Philipp Gesang2018-11-061-1/+1
| | | | | | - Add cmdliner to deps, - set {with-test} filter on unit tests, - version 1 → 1.1.
* fix tests and bump versionv1Philipp Gesang2018-11-051-2/+2
| | | | | Also set minimum compiler version to 4.02 for package since that’s when the bytes type was introduced.
* add linking exception to licensePhilipp Gesang2018-11-031-2/+2
|
* oasis: add documentation targetPhilipp Gesang2018-11-031-8/+17
|
* util: sidparse_test. add trivial test wrapperPhilipp Gesang2018-10-281-0/+6
|
* util/sidparse: add cli SID utilityPhilipp Gesang2018-10-281-0/+5
|
* _oasis: opam: nix: add build and env setupPhilipp Gesang2018-10-281-0/+27