summaryrefslogtreecommitdiff
path: root/sid.opam
Commit message (Expand)AuthorAgeFilesLines
* fix opam build, bump versionv1.1Philipp Gesang2018-11-061-2/+3
* fix tests and bump versionv1Philipp Gesang2018-11-051-3/+6
* add linking exception to licensePhilipp Gesang2018-11-031-1/+1
* oasis: add documentation targetPhilipp Gesang2018-11-031-1/+2
* add readme and license textPhilipp Gesang2018-10-301-2/+4
* _oasis: opam: nix: add build and env setupPhilipp Gesang2018-10-281-0/+20