aboutsummaryrefslogtreecommitdiff
path: root/disml.opam
Commit message (Collapse)AuthorAgeFilesLines
* Bump to 0.2.1 because this is chaotic0.2.1Adelyn Breelove2019-01-181-1/+1
|
* fix doc link in opamAdelyn Breelove2019-01-181-1/+1
|
* doc stuffAdelyn Breelove2019-01-181-0/+1
|
* more opam fixesAdelyn Breelove2019-01-181-3/+3
|
* fix opam linting errorsAdelyn Breelove2019-01-181-4/+1
|
* update opam file, bump to 0.2.0Adelyn Breelove2019-01-181-4/+28
|
* More type abstraction stuffAdelyn Breelove2018-12-191-1/+1
|
* Add a few sigsAdelyn Breedlove2018-12-171-1/+1
|
* A few metafile updatesAdelyn Breelove2018-12-141-2/+5
|
* Update my name in disml.opamAdelyn Breelove2018-12-121-2/+2
|
* Add opam build fileMishio5952018-11-201-0/+12