gnu: Update coq and its dependents
[jackhill/guix/guix.git] / gnu / packages / nim.scm
2020-04-29 Jakub KądziołkaMerge branch 'master' into staging
2020-04-26 Marius BakkeMerge branch 'master' into core-updates
2020-04-26 Marius Bakkegnu: nim: Adjust for Guile 3.0.
2020-03-04 Marius BakkeMerge branch 'master' into core-updates
2020-02-24 Marius BakkeMerge branch 'master' into staging
2020-02-21 Tanguy Le Carrourgnu: nim: Update to 1.0.6.
2020-01-21 Marius BakkeMerge branch 'staging' into core-updates
2020-01-21 Marius BakkeMerge branch 'master' into staging
2020-01-21 Jakub Kądziołkagnu: nim: Fix /bin/sh substitution in C code.
2018-02-20 Marius BakkeMerge branch 'master' into staging
2018-02-09 Mark H WeaverMerge branch 'master' into core-updates
2018-02-08 Tobias Geerinckx... gnu: nim: Use INVOKE.
2018-02-08 Tobias Geerinckx... gnu: nim: Update to 0.17.2.
2017-08-26 Marius BakkeMerge branch 'master' into staging
2017-08-07 Mark H WeaverMerge branch 'master' into core-updates
2017-08-07 Efraim Flashnergnu: nim: Update to 0.17.0.
2017-01-23 Ludovic CourtèsMerge branch 'master' into core-updates
2017-01-13 Leo FamulariMerge branch 'master' into python-tests
2017-01-09 José Miguel Sánche... gnu: Add nim.