aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/julia-xyz.scm
blob: e68cbe8693b31fe807eea8fd3bb8c46a41dce8cb (about) (plain)
blob size (167KB) exceeds display size limit (100KB).
generated by cgit
class='msg-avail'>...Alex Vong 2018-10-01gnu: agda: Fix build....Ricardo Wurmus 2018-10-01gnu: agda: Update to 2.5.4.1....Timothy Sample 2018-10-01gnu: ghc-mtl: Remove built-in Haskell package....Timothy Sample 2018-07-29gnu: Add emacs-agda2-mode...Alex ter Weele 2018-07-29gnu: agda: Compile .agda files....Alex ter Weele 2018-02-26gnu: Add agda....Alex ter Weele