f726b7c526
gnu: libuninameslist: Update to 20160701.
...
* gnu/packages/fontutils.scm (libuninameslist): Update to 20160701.
2016-10-10 12:56:54 +03:00
b07e086373
gnu: bash-completion: Update to 2.4.
...
* gnu/packages/bash.scm (bash-completion): Update to 2.4.
[home-page]: Update to redirected home-page.
2016-10-10 11:58:11 +03:00
36646075ef
gnu: obs: Update to 0.16.2.
...
* gnu/packages/video.scm (obs): Update to 0.16.2.
2016-10-10 11:07:07 +03:00
ff0ecefc0e
gnu: laby: Update source uri.
...
* gnu/packages/games.scm (laby)[source]: Use the publicly visible
download uri.
2016-10-10 09:36:07 +03:00
aed023ffd4
gnu: Add gxtuner.
...
* gnu/packages/music.scm (gxtuner): New variable.
2016-10-10 07:51:24 +02:00
6930804312
gnu: gnome: Add pinentry-gnome3 to gnome
...
* gnu/packages/gnome.scm (gnome)[propagated-inputs]: Add
pinentry-gnome3.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2016-10-10 00:06:15 +02:00
41edb23f5e
gnu: Add pinentry-gnome3.
...
* gnu/packages/gnupg.scm (pinentry-gnome3): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2016-10-10 00:06:15 +02:00
9614897b71
gnu: pinentry: Remove 'gpg2' from description.
...
* gnu/package/gnupg.scm (pinentry-tty, pinentry-gtk2, pinentry-qt)
[description]: The default in Guix is gpg, so only use this.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2016-10-10 00:06:15 +02:00
d976eccd26
gnu: sane-backends: Update to 1.0.25.
...
* gnu/packages/scanner.scm (sane-backends): Update to 1.0.25.
Signed-off-by: Leo Famulari <leo@famulari.name>
2016-10-09 17:50:28 -04:00
fc0081213d
gnu: wpa-supplicant: Update to 2.6.
...
* gnu/packages/admin.scm (wpa-supplicant-minimal)[source]: Update to
2.6. Remove 'patches' field.
* gnu/packages/patches/wpa-supplicant-CVE-2015-5310.patch,
gnu/packages/patches/wpa-supplicant-CVE-2015-5314.patch,
gnu/packages/patches/wpa-supplicant-CVE-2015-5315.patch,
gnu/packages/patches/wpa-supplicant-CVE-2015-5316.patch,
gnu/packages/patches/wpa-supplicant-CVE-2016-4476.patch,
gnu/packages/patches/wpa-supplicant-CVE-2016-4477-pt1.patch,
gnu/packages/patches/wpa-supplicant-CVE-2016-4477-pt2.patch,
gnu/packages/patches/wpa-supplicant-CVE-2016-4477-pt3.patch,
gnu/packages/patches/wpa-supplicant-CVE-2016-4477-pt4.patch: Delete
files.
* gnu/local.mk (dist_patch_DATA): Remove them.
Signed-off-by: Leo Famulari <leo@famulari.name>
2016-10-09 17:37:36 -04:00
6f9d5b2e8c
gnu: guile-ssh: Update to 0.10.1.
...
* gnu/packages/ssh.scm (libssh-0.6): Remove.
(guile-ssh): Update to 0.10.1.
[inputs]: Use LIBSSH instead of LIBSSH-0.7.3.
[arguments]: Remove #:configure-flags.
2016-10-09 23:23:11 +02:00
92b725829b
gnu: guile-ssh: Compile .scm files after patching them.
...
Before this commit, the .go files were obtained by compiling the
unpatched .scm files, so they would refer to libguile-ssh without its
absolute file name.
* gnu/packages/ssh.scm (guile-ssh)[arguments]: Move
'fix-libguile-ssh-file-name' before 'build'. Have it run "make install
-C libguile-ssh" first.
2016-10-09 23:23:11 +02:00
8a8f6590ec
gnu: guile-ssh: Use 'modify-phases'.
...
* gnu/packages/ssh.scm (guile-ssh)[arguments]: Use 'modify-phases'.
2016-10-09 23:23:11 +02:00
a9c958b5aa
gnu: gcj: Switch dejagnu test command.
...
* gnu/packages/gcc.scm (gcj)[arguments]: Switch the depreciated dejagnu
command 'absolute' for the new testing command 'file normalize'.
2016-10-10 00:16:56 +03:00
fedcb99d84
gnu: lynx: Update to 2.8.9dev.9 and fix GnuTLS support.
...
* gnu/packages/lynx.scm (lynx): Update to 2.8.9dev.9.
[arguments]: Append the path to the GnuTLS to "--with-gnutls=".
2016-10-09 16:58:48 -04:00
8ea83d60e4
gnu: hexchat: Update to 2.12.2.
...
* gnu/packages/messaging.scm (hexchat): Update to 2.12.2.
2016-10-09 22:55:23 +02:00
aae34a0c2d
gnu: vdirsyncer: Update to 0.13.1.
...
* gnu/packages/dav.scm (vdirsyncer): Update to 0.13.1.
2016-10-09 16:49:27 -04:00
9e672bcc0b
gnu: libupnp: Fix CVE-2016-6255.
...
* gnu/packages/patches/libupnp-CVE-2016-6255.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/libupnp.scm (libupnp): Use it.
2016-10-09 15:57:28 -04:00
a76abae19f
gnu: ardour: Update to 5.4.
...
* gnu/packages/audio.scm (ardour): Update to 5.4.
[inputs]: Add libarchive.
2016-10-09 20:10:56 +02:00
adc2f048cb
gnu: Add gtkwave.
...
* gnu/packages/fpga.scm (gtkwave): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 18:19:22 +03:00
bca3797be4
gnu: Add arachne-pnr.
...
* gnu/packages/fpga.scm (arachne-pnr): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 18:19:22 +03:00
36aa11c785
gnu: Add icestorm.
...
* gnu/packages/fpga.scm (icestorm): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 18:19:22 +03:00
92fc940fdb
gnu: Add yosys.
...
* gnu/packages/fpga.scm (yosys): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 18:19:22 +03:00
44721336de
gnu: Add iverilog.
...
* gnu/packages/fpga.scm (iverilog): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 18:19:21 +03:00
adba5f08de
gnu: Add abc.
...
* gnu/packages/fpga.scm (abc): New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 18:19:10 +03:00
7f43ff965f
gnu: guile-next: Increase timeout.
...
* gnu/packages/guile.scm (guile-next)[properties]: Set timeout to
20 hours.
2016-10-09 15:46:52 +02:00
a299a8992c
gnu: Add newlib-nano-arm-none-eabi.
...
* gnu/packages/embedded.scm (newlib-nano-arm-none-eabi): New variable.
2016-10-09 15:45:59 +02:00
6c39886a80
gnu: Add newlib-arm-none-eabi.
...
* gnu/packages/embedded.scm (newlib-arm-none-eabi): New variable.
2016-10-09 15:45:59 +02:00
35a37efbfd
gnu: Add arm-none-eabi cross compiler.
...
* gnu/packages/bootstrap.scm (glibc-dynamic-linker): Add case for "arm-eabi".
* gnu/packages/embedded.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
2016-10-09 15:45:59 +02:00
6ad13b591e
gnu: Add limnoria.
...
* gnu/packages/irc.scm (limnoria): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 13:09:54 +03:00
da069d7ecc
gnu: Add python-feedparser.
...
* gnu/packages/python.scm (python-feedparser): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 13:09:50 +03:00
73acc19334
gnu: Add python-socksipy-branch.
...
* gnu/packages/python.scm (python-socksipy-branch): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 13:09:31 +03:00
bc1c995e6e
gnu: Add qtox.
...
* gnu/packages/messaging.scm (qtox): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 12:11:43 +03:00
62ea44fc89
gnu: Add sqlcipher.
...
* gnu/packages/database.scm (sqlcipher): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 12:09:19 +03:00
0c60cc5346
gnu: Add mtd-utils.
...
* gnu/packages/linux.scm (mtd-utils): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 12:07:45 +03:00
0c4944f07c
gnu: autogen: Update to 5.18.12.
...
* gnu/packages/autogen.scm (autogen): Update to 5.18.12.
[home-page]: Use https.
2016-10-09 09:44:40 +03:00
9835458f4d
gnu: xboard: Update to 4.9.1.
...
* gnu/packages/games.scm (xboard): Update to 4.9.1.
[home-page]: Use https.
2016-10-09 09:18:51 +03:00
72d6655c55
gnu: dejagnu: Use 'modify-phases' syntax.
...
* gnu/packages/dejagnu.scm (dejagnu)[arguments]: Use 'modify-phases'
syntax.
2016-10-09 08:56:10 +03:00
539ab1afdd
gnu: dejagnu: Update to 1.6.
...
* gnu/packages/dejagnu.scm (dejagnu): Update to 1.6.
[home-page]: Use https.
[license]: Update to gpl3+.
2016-10-09 08:55:51 +03:00
caaa715d16
gnu: gdb: Update to 7.12.
...
* gnu/packages/gdb.scm (gdb): Update to 7.12.
[home-page]: Use https.
2016-10-09 06:47:59 +03:00
80bc37737c
gnu: gnuastro: Update to 0.2.
...
* gnu/packages/astronomy.scm (gnuastro): Update to 0.2.
[home-page]: Use https.
2016-10-08 23:55:40 +03:00
e775f48ebe
gnu: python-xlrd: Update source location.
...
* gnu/packages/python.scm (python-xlrd)[source]: Use 'pypi-uri' syntax.
2016-10-08 23:41:01 +03:00
824f7de882
gnu: freeipmi: Update to 1.5.4.
...
* gnu/packages/freeipmi.scm (freeipmi): Update to 1.5.4.
[home-page]: Use https.
2016-10-08 23:32:19 +03:00
4726dd2063
gnu: ccache: Update to 3.3.2.
...
* gnu/packages/ccache.scm (ccache): Update to 3.3.2.
2016-10-08 23:26:29 +03:00
6e185f74b7
gnu: offlineimap: Update to 7.0.8.
...
* gnu/packages/mail.scm (offlineimap): Update to 7.0.8.
2016-10-08 23:26:29 +03:00
9917b5f008
gnu: ldb: Update to 1.1.27.
...
* gnu/packages/samba.scm (ldb): Update to 1.1.27.
2016-10-08 23:26:28 +03:00
6ccb78144c
gnu: tdb: Use 'modify-phases' syntax.
...
* gnu/packages/databases.scm (tdb)[arguments]: Use 'modify-phases' syntax.
2016-10-08 23:26:28 +03:00
1abd090487
gnu: tdb: Update to 1.3.11.
...
* gnu/packages/databases.scm (tdb): Update to 1.3.11.
[home-page]: Use https.
2016-10-08 23:26:28 +03:00
881799892c
gnu: tevent: Update to 0.9.31.
...
* gnu/packages/samba.scm (tevent): Update to 0.9.31.
2016-10-08 23:26:27 +03:00
93151e4185
gnu: talloc: Update to 2.1.8.
...
* gnu/packages/samba.scm (talloc): Update to 2.1.8.
2016-10-08 23:26:27 +03:00
d073b58f67
gnu: samba: Update to 4.5.0.
...
* gnu/packages/samba.scm (samba): Update to 4.5.0.
[source]: Update source uri.
2016-10-08 23:26:26 +03:00
86d959bdfd
gnu: emacs-hydra: Update to 0.13.6.
...
* gnu/packages/emacs.scm (emacs-hydra): Update to 0.13.6.
2016-10-08 21:03:43 +03:00
35d1ade76d
gnu: emacs-hl-todo: Update to 1.7.1.
...
* gnu/packages/emacs.scm (emacs-hl-todo): Update to 1.7.1.
2016-10-08 21:03:43 +03:00
0e7c408995
gnu: emacs-hl-todo: Fix source file-name.
...
* gnu/packages/emacs.scm (emacs-hl-todo)[source]: Use versioned
file-name.
2016-10-08 21:03:43 +03:00
59c827f45f
gnu: emacs-smartparens: Update to 1.8.0.
...
* gnu/packages/emacs.scm (emacs-smartparens): Update to 1.8.0.
2016-10-08 21:03:43 +03:00
4a1eafb071
gnu: emacs-with-editor: Update to 2.5.6.
...
* gnu/packages/emacs.scm (emacs-with-editor): Update to 2.5.6.
2016-10-08 21:03:43 +03:00
fb0de6f77c
gnu: geiser-next: Deprecate.
...
* gnu/packages/emacs.scm (geiser-next): Deprecate.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
2016-10-08 21:03:43 +03:00
113e23e099
gnu: geiser: Update to 0.9.
...
* gnu/packages/emacs.scm (geiser): Update to 0.9.
2016-10-08 21:03:43 +03:00
cb60e975c2
gnu: linux-libre: Update to 4.8.1.
...
* gnu/packages/linux.scm (linux-libre): Update to 4.8.1.
(%linux-libre-version, %linux-libre-hash): Update to 4.8.1.
2016-10-08 11:35:43 -04:00
ca86791881
gnu: linux-libre@4.4: Update to 4.4.24.
...
* gnu/packages/linux.scm (linux-libre-4.4): Update to 4.4.24.
2016-10-08 11:32:37 -04:00
96784438f5
gnu: Add sbcl-stumpwm-with-slynk.
...
* gnu/packages/lisp.scm (sbcl-stumpwm+slynk): New variable.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-08 21:20:36 +08:00
e3e171ee81
gnu: Add cl-slynk.
...
* gnu/packages/lisp.scm (cl-slynk, sbcl-slynk, ecl-slynk): New
variables.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-08 21:20:36 +08:00
d075960f60
gnu: Add cl-stumpwm.
...
* gnu/packages/lisp.scm (cl-stumpwm, sbcl-stumpwm, ecl-stumpwm): New
variables.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-08 21:20:35 +08:00
4b51b21ccf
gnu: Add cl-clx.
...
* gnu/packages/lisp.scm (cl-clx, sbcl-clx, ecl-clx): New variables.
* gnu/packages/patches/clx-remove-demo.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-08 21:20:35 +08:00
5aa608a7e8
gnu: Add cl-ppcre.
...
* gnu/packages/lisp.scm (cl-ppcre, sbcl-cl-pprcre, ecl-cl-pprcre): New
variables.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-08 21:20:35 +08:00
3c55c780f9
gnu: Add cl-flexi-streams.
...
* gnu/packages/lisp.scm (cl-flexi-streams, sbcl-flexi-streams)
(ecl-flexi-streams): New variables.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-08 21:20:35 +08:00
059cab307f
gnu: Add cl-trivial-gray-streams.
...
* gnu/packages/lisp.scm (cl-trivial-gray-streams)
(sbcl-trivial-gray-streams, ecl-trivial-gray-streams): New variables.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-08 21:20:35 +08:00
8662809d1b
gnu: Add cl-bordeaux-threads.
...
* gnu/packages/lisp.scm (cl-bordeaux-threads, sbcl-bordeaux-threads)
(ecl-bordeaux-threads): New variables.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-08 21:20:35 +08:00
86022c926b
gnu: Add cl-fiveam.
...
* gnu/packages/lisp.scm (cl-fiveam, sbcl-fiveam, ecl-fiveam): New
variables.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-08 21:20:35 +08:00
a72debb7cc
gnu: Add cl-alexandria.
...
* gnu/packages/lisp.scm (cl-alexandria, sbcl-alexandria)
(ecl-alexandria): New variables.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-08 21:20:35 +08:00
53aec0999f
gnu: bundler: Update to 1.13.2.
...
* gnu/packages/ruby.scm (bundler): Update to 1.13.2.
2016-10-08 22:47:18 +10:00
c2ad4d701e
gnu: python-xlrd: Update to 1.0.0.
...
* gnu/packages/python.scm (python-xlrd, python2-xlrd): Update to 1.0.0.
2016-10-08 22:29:59 +10:00
f49511dbff
gnu: ruby-mime-types-data: Update to 3.2016.0521.
...
* gnu/packages/ruby.scm (ruby-mime-types-data): Update to 3.2016.0521.
2016-10-08 22:29:58 +10:00
d034c779eb
gnu: ruby-tzinfo-data: Update to 1.2016.7.
...
* gnu/packages/ruby.scm (ruby-tzinfo-data): Update to 1.2016.7.
2016-10-08 22:29:58 +10:00
5ed00e13d2
gnu: ruby-domain-name: Update to 0.5.20160826.
...
* gnu/packages/ruby.scm (ruby-domain-name): Update to 0.5.20160826.
2016-10-08 22:29:58 +10:00
a751afb217
gnu: r-mgcv: Update to 1.8-15.
...
* gnu/packages/statistics.scm (r-mgcv): Update to 1.8-15.
2016-10-08 22:29:58 +10:00
d91cb67dd7
gnu: ruby-sequel: Update to 4.39.0.
...
* gnu/packages/ruby.scm (ruby-sequel): Update to 4.39.0.
2016-10-08 22:29:55 +10:00
7fd30d1be4
gnu: yoshimi: Update to 1.4.1.
...
* gnu/packages/music.scm (yoshimi): Update to 1.4.1.
[arguments]: Add build phase "find-ncurses".
2016-10-08 14:03:56 +02:00
9602e3cce9
gnu: python2-dendropy: Fix tests.
...
* gnu/packages/bioinformatics.scm (python2-dendropy)[source]: Use unpatched
source.
[arguments]: Use nose to run tests.
[native-inputs]: Add python2-nose.
2016-10-08 21:38:17 +10:00
f803f775d2
gnu: vigra: Workaround rounding error in test suite on 32-bit CPUs.
...
* gnu/packages/image.scm (vigra)[arguments]: Pass '-ffloat-store' to
C_FLAGS and CXX_FLAGS.
2016-10-07 22:44:30 -04:00
382aacc5a3
gnu: drumstick: Update to 1.1.0.
...
* gnu/packages/music.scm (drumstick): Update to 1.1.0.
2016-10-08 00:15:53 +02:00
e35ce6893c
gnu: tbb: Update to 2017_20160916.
...
* gnu/packages/tbb.scm (tbb): Update to 2017_20160916.
2016-10-08 00:03:24 +02:00
fb29e737d4
gnu: ncdu: Update to 1.12.
...
* gnu/packages/ncdu.scm (ncdu): Update to 1.12.
[source]: Use https.
[license]: Use https.
[home-page]: Use https.
2016-10-07 14:26:12 +03:00
b314360f30
gnu: abbaye: Update source URL.
...
* gnu/packages/games.scm (abbaye)[source]: Update tarball URL.
2016-10-07 09:22:44 +02:00
ae336f8b84
gnu: khal: Update to 0.8.4.
...
* gnu/packages/calendar.scm (khal): Update to 0.8.4.
2016-10-07 01:48:45 -04:00
7ca97fae36
gnu: lvm2: Make sure compiled objects are stripped.
...
* gnu/packages/linux.scm (lvm2)[arguments]: Add 'make-objects-writeable' phase.
2016-10-06 17:43:44 -04:00
123c0ffb87
gnu: lvm2: Update to 2.02.166.
...
* gnu/packages/linux.scm (lvm2): Update to 2.02.166.
2016-10-06 17:43:44 -04:00
3afbc6b3c3
gnu: lvm2: Use 'modify-phases'.
...
* gnu/packages/linux.scm (lvm2)[arguments]: Use 'modify-phases'.
2016-10-06 17:43:39 -04:00
59fed2b609
gnu: nginx: Update to 1.11.4.
...
* gnu/packages/web.scm (nginx): Update to 1.11.4.
[source] Use https.
[home-page]: Use https.
2016-10-06 22:01:00 +03:00
0f43f8354c
gnu: Add hdf-eos5.
...
* gnu/packages/maths.scm (hdf-eos5): New variable.
* gnu/packages/patches/hdf-eos5-build-shared.patch: New file.
* gnu/packages/patches/hdf-eos5-remove-gctp.patch: New file.
* gnu/packages/patches/hdf-eos5-fix-szip.patch: New file.
* gnu/packages/patches/hdf-eos5-fortrantests.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add patches.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2016-10-06 18:14:45 +02:00
b94ee996ce
gnu: font-hack: Remove empty doc directory.
...
* gnu/packages/fonts.scm (font-hack)[arguments]: Remove superfluous code
in #:builder.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-06 20:59:05 +08:00
3126fd8820
services: xorg: Add ATI video driver to the default modules.
...
* gnu/services/xorg.scm (%default-xorg-modules): Add xf86-video-ati.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-06 20:46:50 +08:00
fb7dc6d647
gnu: ecl: Honour XDG_DATA_DIRS/ecl-bundle-systems.
...
* gnu/packages/lisp.scm (ecl)[source]: Add snippet.
[native-search-paths]: Add XDG_DATA_DIRS.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-06 20:33:55 +08:00
8d0489aeb6
gnu: sbcl: Honour XDG_DATA_DIRS/sbcl-bundle-systems.
...
* gnu/packages/lisp.scm (asdf-substitutions): New variable.
(sbcl)[source]: Add snippet.
[native-search-paths]: Add XDG_DATA_DIRS.
Signed-off-by: 宋文武 <iyzsong@gmail.com>
2016-10-06 20:33:55 +08:00
eb0ff8a382
gnu: Add ghc-pandoc-citeproc.
...
* gnu/packages/haskell.scm (ghc-pandoc-citeproc): New variable.
2016-10-06 14:18:25 +02:00
bfdfb0f63f
gnu: Add ghc-xml-conduit.
...
* gnu/packages/haskell.scm (ghc-xml-conduit): New variable.
2016-10-06 14:18:25 +02:00
e9ef2c51d5
gnu: Add ghc-xml-types.
...
* gnu/packages/haskell.scm (ghc-xml-types): New variable.
2016-10-06 14:18:25 +02:00
1aa45bbf6f
gnu: Add ghc-conduit-extra.
...
* gnu/packages/haskell.scm (ghc-conduit-extra): New variable.
2016-10-06 14:18:25 +02:00
9ce764b689
gnu: Add ghc-rfc5051.
...
* gnu/packages/haskell.scm (ghc-rfc5051): New variable.
2016-10-06 14:18:24 +02:00
37e02bf65b
gnu: Add ghc-hs-bibutils.
...
* gnu/packages/haskell.scm (ghc-hs-bibutils): New variable.
2016-10-06 14:18:24 +02:00
Efraim Flashner