HCoop Git - jackhill/guix/guix.git/history

HCoop / jackhill / guix / guix.git / history

[jackhill/guix/guix.git] / gnu / packages / agda.scm

2020-09-05	Efraim Flashner	Merge remote-tracking branch 'origin/master' into staging	blob \| commitdiff \| raw
2020-08-20	Timothy Sample	gnu: agda: Adjust for using shared libraries.	blob \| commitdiff \| raw
2020-03-28	Jakub Kądziołka	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2020-03-18	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2020-03-16	Tobias Geerinckx...	gnu: agda: Use HTTPS home page.	blob \| commitdiff \| raw \| diff to current
2019-12-05	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2019-11-21	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2019-11-21	Timothy Sample	gnu: agda: Update to 2.6.0.1.	blob \| commitdiff \| raw \| diff to current
2019-10-08	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2019-09-07	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2019-08-31	Robert Vollmert	gnu: Move non-compilers out of haskell.scm.	blob \| commitdiff \| raw \| diff to current
2019-08-29	Mark H Weaver	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2019-08-28	John Soo	gnu: agda-ial: Fix install step.	blob \| commitdiff \| raw \| diff to current
2019-08-27	Ludovic Courtès	gnu: agda-ial: Fetch source from Git.	blob \| commitdiff \| raw \| diff to current
2019-08-27	John Soo	gnu: Add agda-ial.	blob \| commitdiff \| raw \| diff to current
2019-08-08	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2019-08-08	Robert Vollmert	gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.	blob \| commitdiff \| raw \| diff to current
2019-07-31	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2019-07-22	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2019-07-18	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2019-07-17	Ludovic Courtès	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2019-07-11	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2019-07-04	Robert Vollmert	gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml.	blob \| commitdiff \| raw \| diff to current
2019-02-24	Marius Bakke	Merge branch 'staging' into core-updates	blob \| commitdiff \| raw \| diff to current
2019-02-24	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2019-02-24	Tobias Geerinckx...	gnu: agda: Update to 2.5.4.2.	blob \| commitdiff \| raw \| diff to current
2018-12-03	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2018-12-03	Ludovic Courtès	Merge branch 'core-updates'	blob \| commitdiff \| raw \| diff to current
2018-11-29	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-11-24	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-11-24	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-11-21	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-11-21	Efraim Flashner	Merge remote-tracking branch 'origin/master' into core...	blob \| commitdiff \| raw \| diff to current
2018-11-20	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-11-14	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-11-09	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-11-07	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-11-05	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-10-22	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-10-21	Jan Nieuwenhuizen	Merge branch 'core-updates' into core-updates-next	blob \| commitdiff \| raw \| diff to current
2018-10-21	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-10-19	Alex Vong	build-system/haskell: Use 'strip-store-file-name'.	blob \| commitdiff \| raw \| diff to current
2018-10-05	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-10-01	Ricardo Wurmus	gnu: agda: Fix build.	blob \| commitdiff \| raw \| diff to current
2018-10-01	Timothy Sample	gnu: agda: Update to 2.5.4.1.	blob \| commitdiff \| raw \| diff to current
2018-10-01	Timothy Sample	gnu: ghc-mtl: Remove built-in Haskell package.	blob \| commitdiff \| raw \| diff to current
2018-08-01	Marius Bakke	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-07-30	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2018-07-29	Alex ter Weele	gnu: Add emacs-agda2-mode	blob \| commitdiff \| raw \| diff to current
2018-07-29	Alex ter Weele	gnu: agda: Compile .agda files.	blob \| commitdiff \| raw \| diff to current
2018-03-14	Ricardo Wurmus	Merge branch 'master' into core-updates	blob \| commitdiff \| raw \| diff to current
2018-03-01	Marius Bakke	Merge branch 'master' into staging	blob \| commitdiff \| raw \| diff to current
2018-02-26	Alex ter Weele	gnu: Add agda.	blob \| commitdiff \| raw \| diff to current

jackhill's copy of GNU Guix: https://guix.gnu.org/

RSS Atom