aboutsummaryrefslogtreecommitdiff
path: root/disml.opam
Commit message (Expand)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