]> Git — Sourcephile - reloto.git/history - GNUmakefile
sourcephile / git / reloto.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
stack: bump to lts-12.25
[reloto.git] / GNUmakefile
2018-12-23 Julien Moutinhomake: fix HLint.hs blob | commitdiff | raw
2018-08-30 Julien MoutinhoAdd Htirage.Sequence. blob | commitdiff | raw | diff to current
2017-08-08 Julien MoutinhoFix tar GNUmakefile target. blob | commitdiff | raw | diff to current
2017-08-07 Julien MoutinhoAdd tar GNUmakefile target. blob | commitdiff | raw | diff to current
2017-08-04 Julien MoutinhoAdd QuickCheck tests. blob | commitdiff | raw | diff to current
2017-07-23 Julien MoutinhoAdd GNUmakefile. blob | commitdiff | raw | diff to current
Tools for publicly verifiable draws