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
7e67fdd1f3
license: Add freebsd-doc.
...
* guix/licenses.scm (freebsd-doc): New variable.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2016-10-09 13:09:47 +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
95264cc6b9
gnu: cups-filters: Use ghostscript with CUPS driver.
...
* gnu/packages/cups.scm (ghostscript/cups): New variable.
(cups-filters): Use ghostscript/cups. Capture path to "gs" at
compilation time.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2016-10-08 15:44:11 +02:00
b6dfaf17a1
gnu: libxcb: Update to 1.11.1.
...
* gnu/packages/xorg.scm (libxcb): Update to 1.11.1.
2016-10-08 15:34:04 +02: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
Danny Milosavljevic