Commit graph

3 commits

Author SHA1 Message Date
TG x 7e0f7a0b54 build-idris-package: ipkgName 2018-09-18 10:38:59 +02:00
Silvan Mosberger b73f540beb
idrisPackages: Clean up packages 2018-07-02 06:13:01 +02:00
Márton Boros bf02618e1f idrisPackages.vdom: init at 0.6.0 2018-05-08 11:41:52 +02:00