aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/tbb.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2020-01-20 23:37:24 +0100
committerJulien Lepiller <julien@lepiller.eu>2020-01-21 01:11:31 +0100
commit73e01ae45605b5f0d3c37606259fa125a93f9754 (patch)
treee205ff61f02a59825946c8312d49ab132c23085c /gnu/packages/tbb.scm
parent795cf2a3b57c73eeec0fe853dbf47e140e44ff56 (diff)
downloadguix-73e01ae45605b5f0d3c37606259fa125a93f9754.tar.gz
guix-73e01ae45605b5f0d3c37606259fa125a93f9754.zip
gnu: ocaml-qtest. Update to 2.10.1.
* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.10.1.
Diffstat (limited to 'gnu/packages/tbb.scm')
0 files changed, 0 insertions, 0 deletions
ove ghc-mtl. (ghc-mtl): Remove variable. * gnu/packages/idris.scm (idris)[inputs]: Remove ghc-mtl. * gnu/packages/tls.scm (ghc-tls)[inputs]: Remove ghc-mtl. * gnu/packages/version-control.scm (darcs, git-annex)[inputs]: Remove ghc-mtl. * gnu/packages/wm.scm (xmonad, ghc-xmonad-contrib)[inputs]: Remove ghc-mtl. * gnu/packages/xml.scm (ghc-hxt)[inputs]: Remove ghc-mtl. Timothy Sample 2018-07-29gnu: Add emacs-agda2-mode...* gnu/packages/agda.scm (emacs-agda2-mode): New variable. Signed-off-by: Marius Bakke <mbakke@fastmail.com> Alex ter Weele 2018-07-29gnu: agda: Compile .agda files....* gnu/packages/agda.scm: (agda)[arguments]: Compile .agda files. Signed-off-by: Marius Bakke <mbakke@fastmail.com> Alex ter Weele 2018-02-26gnu: Add agda....* gnu/packages/agda.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add adga.scm. Signed-off-by: Marius Bakke <mbakke@fastmail.com> Alex ter Weele