HCoop / jackhill / guix / guix.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
gnu: python-pandas: Fix build on 32-bit.
[jackhill/guix/guix.git] / gnu / packages / idris.scm
2017-01-13 Leo FamulariMerge branch 'master' into python-tests blob | commitdiff | raw
2017-01-04 David Cravengnu: Add idris-lens. blob | commitdiff | raw
2017-01-04 David Cravengnu: Add idris-bifunctors. blob | commitdiff | raw | diff to current
2017-01-04 David Cravengnu: Add idris-wl-pprint. blob | commitdiff | raw | diff to current
2017-01-04 David Cravengnu: Add idris-lightyear. blob | commitdiff | raw | diff to current
2017-01-04 David Cravengnu: idris: Move to (gnu packages idris). blob | commitdiff | raw | diff to current
jackhill's copy of GNU Guix: https://guix.gnu.org/