Alex ter Weele d661ed521e gnu: idris: Provide the right versions of dependencies. ... Previously it would fail to build. See <https://bugs.gnu.org/30741>. * gnu/packages/idris.scm (idris)[inputs]: alphebetize ghc-vector-binary-instances and ghc-async. Use ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1. Remove ghc-aeson, ghc-cheapskate, ghc-parsers, ghc-tasty, ghc-tasty-golden, ghc-tasty-rerun, ghc-trifecta, and ghc-zlib. Signed-off-by: Ludovic Courtès <ludo@gnu.org>		2018-03-15 23:46:16 +01:00
..
aux-files	gnu: linux-libre: Update to 4.15, while retaining 4.14 LTS.	2018-01-30 03:51:21 -05:00
bootstrap	…
patches	gnu: shadow: Fix CVE-2018-7169.	2018-03-15 13:13:35 -04:00
abduco.scm	…
abiword.scm	gnu: abiword: Disable duplicate icon cache generation.	2018-03-04 15:43:46 +01:00
accessibility.scm	gnu: footswitch: Update to 0.1-2.deedd87.	2018-03-04 18:03:45 +01:00
acct.scm	…
acl.scm	Merge branch 'master' into core-updates	2018-02-16 13:14:26 -05:00
ada.scm	gnu: Add python2-langkit.	2018-03-13 20:53:18 +01:00
admin.scm	gnu: intel-gpu-tools: Update to 1.22.	2018-03-15 19:52:29 +01:00
adns.scm	gnu: c-ares: Update to 1.14.0.	2018-02-18 13:05:07 +02:00
agda.scm	gnu: Add agda.	2018-02-26 01:42:35 +01:00
aidc.scm	…
algebra.scm	gnu: Add java-jtransforms.	2018-03-03 21:27:30 +01:00
android.scm	gnu: Add mkbootimg.	2018-01-20 23:07:20 +01:00
animation.scm	gnu: papagayo: Declare a source file-name.	2018-03-04 11:01:39 +02:00
anthy.scm	…
apl.scm	…
apr.scm	…
aspell.scm	gnu: hunspell-dict-en: Include all the .dic files.	2018-01-13 00:32:55 +01:00
assembly.scm	gnu: nasm: Update to 2.13.03.	2018-02-19 06:00:31 +01:00
astronomy.scm	gnu: cfitsio: Use HTTPS home page.	2018-02-02 17:44:42 +01:00
attr.scm	gnu: Use HTTPS for supported nongnu.org home pages.	2018-02-16 11:11:40 +01:00
audio.scm	gnu: liblo: Mark up description.	2018-03-04 18:03:43 +01:00
augeas.scm	gnu: augeas: Update to 1.10.1.	2018-02-15 17:17:19 +01:00
autogen.scm	…
autotools.scm	gnu: autoconf-archive: Update to 2018.03.13.	2018-03-15 19:11:14 +01:00
avahi.scm	Merge branch 'master' into core-updates	2018-02-16 13:14:26 -05:00
avr.scm	gnu: Use HTTPS for supported nongnu.org home pages.	2018-02-16 11:11:40 +01:00
axoloti.scm	…
backup.scm	gnu: Fix Borg crashes with Python msgpack > 0.5	2018-02-28 23:43:23 -05:00
base.scm	Revert "gnu: Use patched static bash in glibc replacement."	2018-03-14 16:28:22 +01:00
bash.scm	…
bdw-gc.scm	…
benchmark.scm	gnu: fio: Update to 3.5.	2018-02-22 14:15:17 +01:00
bioconductor.scm	gnu: Add r-hpar.	2018-03-02 23:24:57 +01:00
bioinformatics.scm	gnu: Add Diversitree.	2018-03-15 10:57:51 -04:00
bison.scm	…
bittorrent.scm	gnu: transmission: Update to 2.93.	2018-01-31 19:21:51 -05:00
boost.scm	gnu: Add boost@1.66.0.	2018-03-04 17:54:40 +01:00
bootloaders.scm	gnu: american-fuzzy-lop: Change custom qemu input.	2018-02-22 22:15:21 +02:00
bootstrap.scm	gnu: Add basic support for s390x-linux-gnu targets.	2018-02-19 22:22:21 +01:00
build-tools.scm	gnu: meson: Mark up description.	2018-03-07 15:37:13 +01:00
busybox.scm	…
c.scm	gnu: tcc: Update to 0.9.27.	2018-01-19 13:19:33 +01:00
calcurse.scm	gnu: calcurse: Update to 4.3.0.	2018-03-14 09:10:47 +01:00
calendar.scm	gnu: calendar.scm: Use license: prefix.	2018-02-20 14:58:52 +01:00
ccache.scm	gnu: ccache: Update to 3.4.1.	2018-02-19 06:00:31 +01:00
cdrom.scm	gnu: libburn: Update to 1.4.8.	2018-03-15 19:11:16 +01:00
certs.scm	gnu: nss-certs: Update to 3.35.	2018-01-22 00:25:36 +01:00
check.scm	gnu: cppcheck: Update to 1.82.	2018-03-07 15:37:13 +01:00
chemistry.scm	gnu: Add nmoldyn.	2018-01-05 16:19:09 -05:00
chez.scm	gnu: chez-scheme: Fix build issues against glibc 2.26.	2018-01-18 00:13:14 +01:00
ci.scm	gnu: cuirass: Update to aa4c778.	2018-03-01 17:38:55 +01:00
cinnamon.scm	…
cmake.scm	gnu: Add cmake@3.11.	2018-03-04 17:54:40 +01:00
cobol.scm	gnu: cobol: Run cobol85 test-suite.	2018-01-25 20:29:21 +02:00
code.scm	gnu: Add makefile2graph.	2018-03-13 18:01:47 +00:00
commencement.scm	Revert "gnu: Add replacement for static-bash-for-glibc."	2018-03-14 16:28:22 +01:00
compression.scm	gnu: Add google-brotli.	2018-03-15 10:57:52 -04:00
compton.scm	…
conkeror.scm	…
conky.scm	gnu: conky: Remove redundant MKDIR-P.	2018-03-03 13:27:17 +01:00
connman.scm	…
cook.scm	gnu: cook: Update phase style.	2018-02-21 15:02:47 +01:00
cpio.scm	…
cpp.scm	gnu: Add Dashel.	2018-01-30 16:40:28 +01:00
cppi.scm	…
cran.scm	gnu: r-scatterplot3d: Update to 0.3-41.	2018-03-15 19:11:15 +01:00
cross-base.scm	Merge branch 'master' into core-updates	2018-01-23 17:01:07 -05:00
crypto.scm	gnu: keyutils: Update to 1.5.10.	2018-03-07 15:37:13 +01:00
cryptsetup.scm	…
cups.scm	Merge branch 'master' into core-updates	2018-01-19 23:59:20 -05:00
curl.scm	gnu: curl: Update replacement to 7.59.0 [security fixes].	2018-03-14 16:48:03 +01:00
cyrus-sasl.scm	…
databases.scm	gnu: Add python-pyarrow.	2018-03-15 10:57:52 -04:00
datamash.scm	…
datastructures.scm	gnu: liburcu: Update to 0.10.1.	2018-01-24 15:47:52 +01:00
dav.scm	gnu: vdirsyncer: Update to 0.16.4.	2018-02-08 13:37:36 -05:00
dc.scm	gnu: ncdc: Use HTTPS for home page.	2018-01-26 01:03:31 +01:00
debian.scm	gnu: Add debootstrap.	2018-03-12 21:54:44 +02:00
debug.scm	gnu: c-reduce: Use HTTPS home page.	2018-03-07 15:37:11 +01:00
dejagnu.scm	…
dico.scm	gnu: dico: Update to 2.5.	2018-01-29 20:46:55 +02:00
dictionaries.scm	gnu: dictionaries: Add copyright line.	2018-03-03 14:23:17 +01:00
digest.scm	gnu: Add xxhash.	2017-12-31 22:18:22 +01:00
direct-connect.scm	…
disk.scm	gnu: ddrescue: Update to 1.23.	2018-02-19 17:47:11 +01:00
display-managers.scm	gnu: lightdm: Update to 1.24.0.	2018-01-16 14:25:02 -08:00
django.scm	gnu: Update python-django-gravatar2.	2018-03-09 18:18:48 +00:00
djvu.scm	…
dns.scm	gnu: bind: Use INVOKE.	2018-03-15 19:11:13 +01:00
docbook.scm	gnu: dblatex: Update to 0.3.10.	2018-02-28 04:13:19 +01:00
docker.scm	…
documentation.scm	Merge branch 'master' into core-updates	2018-02-09 01:46:34 -05:00
dunst.scm	…
dvtm.scm	…
ebook.scm	gnu: calibre: Spell ‘e-book’ consistently.	2018-02-23 16:00:07 +01:00
ed.scm	…
education.scm	…
electronics.scm	…
elf.scm	gnu: nix, patchelf: Use HTTPS for nixos.org home pages.	2018-02-20 05:02:44 +01:00
elixir.scm	gnu: elixir: Update to 1.5.3.	2018-01-08 14:15:25 +01:00
emacs.scm	gnu: emacs-slack: Update to 0-3.9272460.	2018-03-08 01:24:02 +01:00
embedded.scm	gnu: spin2cpp: Update to 3.6.4.	2018-02-27 16:49:59 +01:00
emulators.scm	gnu: dolphin-emu: Enable Vulkan video backend.	2018-02-23 10:17:48 +01:00
enchant.scm	…
engineering.scm	Merge branch 'master' into core-updates	2018-02-18 00:39:25 +01:00
enlightenment.scm	gnu: enlightenment: Use 'loginctl' for system actions.	2018-03-10 22:55:42 +02:00
entr.scm	…
erlang.scm	gnu: erlang: Use HTTPS home page.	2018-02-19 05:57:17 +01:00
fabric-management.scm	…
fcitx.scm	…
figlet.scm	…
file-systems.scm	gnu: disorderfs: Declare a source file-name.	2018-03-04 12:38:50 +02:00
file.scm	Merge branch 'master' into core-updates	2018-01-04 21:21:04 -05:00
finance.scm	gnu: Add python-stdnum.	2018-01-22 19:52:33 +01:00
firmware.scm	gnu: ovmf: Fix build and add FIXME.	2018-03-06 08:27:07 +01:00
flashing-tools.scm	gnu: intelmetool, me-cleaner: Restrict to Intel platforms.	2018-03-08 11:56:20 +01:00
flex.scm	…
fltk.scm	gnu: fltk: Fix freetype support.	2018-01-20 20:29:35 -05:00
fonts.scm	gnu: Add IBM Plex font.	2018-03-07 11:22:42 +01:00
fontutils.scm	gnu: Use HTTPS for supported freedesktop.org home pages.	2018-02-26 20:13:10 +01:00
forth.scm	…
fpga.scm	gnu: iverilog: Use Texinfo in description.	2018-02-19 06:00:33 +01:00
freedesktop.scm	gnu: xdg-user-dirs: Update to 0.17.	2018-03-15 19:11:15 +01:00
freeipmi.scm	gnu: freeipmi: Update to 1.6.1.	2018-02-13 23:52:39 +01:00
fribidi.scm	gnu: fribidi: Update to 1.0.1.	2018-02-25 18:35:25 +01:00
ftp.scm	gnu: libfilezilla: Update to 0.12.1.	2018-02-26 20:13:07 +01:00
fvwm.scm	…
game-development.scm	gnu: tiled: Update to 1.1.3.	2018-03-13 20:33:42 -04:00
games.scm	gnu: freegish: Declare a source file-name.	2018-03-04 12:38:50 +02:00
gawk.scm	…
gcal.scm	…
gcc.scm	gnu: gcc@4.9: Fix libsanitizer compilation with glibc 2.26.	2018-02-18 00:48:16 +01:00
gd.scm	gnu: perl-gd: Update to 2.68.	2018-02-27 16:49:58 +01:00
gdb.scm	gnu: gdb: Update to 8.1.	2018-01-31 23:31:38 +01:00
geo.scm	gnu: Add r-ggmap.	2018-03-15 10:57:52 -04:00
gettext.scm	gnu: po4a: Update home page.	2018-02-22 17:24:36 +01:00
ghostscript.scm	gnu: Use HTTPS for supported freedesktop.org home pages.	2018-02-26 20:13:10 +01:00
gimp.scm	gnu: babl: Update to 0.1.40.	2018-01-21 02:53:14 +01:00
gkrellm.scm	gnu: gkrellm: Update to 2.3.10.	2018-02-16 11:11:41 +01:00
gl.scm	gnu: mesa-utils: Update to 8.4.0.	2018-02-23 15:36:34 +01:00
glib.scm	gnu: python2-gobject@2: Update to 2.28.7	2018-03-07 14:57:10 +01:00
gnome.scm	gnu: libsoup: Update to 2.62.0.	2018-03-14 16:48:03 +01:00
gnu-doc.scm	gnu: Update gnu-standards to 2018-02-18.	2018-02-18 03:19:26 +01:00
gnu-pw-mgr.scm	…
gnucash.scm	gnu: gnucash: Update to 2.6.19.	2018-01-09 11:42:51 -05:00
gnunet.scm	gnu: 'autoconf-wrapper' is no longer a procedure.	2018-03-09 23:24:34 +01:00
gnupg.scm	gnu: Add jetring.	2018-03-12 21:54:43 +02:00
gnustep.scm	gnu: gnustep: Update dockapps home pages.	2018-02-16 11:11:40 +01:00
gnuzilla.scm	gnu: icecat: Add more fixes from upstream mozilla-esr52.	2018-03-14 14:37:57 -04:00
gobby.scm	…
golang.scm	gnu: go-github-com-aki237-nscjar: Declare a source file-name.	2018-03-04 12:38:51 +02:00
gperf.scm	…
gprolog.scm	…
gps.scm	gnu: gpscorrelate: Declare a source file-name.	2018-03-13 20:17:10 +02:00
graph.scm	gnu: Add python-plotly.	2018-03-15 10:57:50 -04:00
graphics.scm	gnu: ogre: Update to 1.10.11.	2018-03-12 18:15:20 +01:00
graphviz.scm	…
groff.scm	…
gsasl.scm	Merge branch 'master' into core-updates	2018-02-16 13:14:26 -05:00
gstreamer.scm	gnu: Use HTTPS for supported freedesktop.org home pages.	2018-02-26 20:13:10 +01:00
gtk.scm	gnu: gtksourceview: Update to 3.24.7.	2018-03-15 19:11:15 +01:00
guile-wm.scm	…
guile.scm	gnu: haunt: Update to 0.2.2.	2018-03-10 21:35:01 -05:00
gv.scm	…
gxmessage.scm	…
ham-radio.scm	…
haskell-check.scm	gnu: Add ghc-nanospec.	2018-02-13 13:37:39 +01:00
haskell-crypto.scm	gnu: ghc-x509-system: Update to 1.6.4.	2018-02-13 13:37:38 +01:00
haskell-web.scm	gnu: Add ghc-aeson-for-pandoc-1.	2018-03-13 20:01:54 +01:00
haskell.scm	gnu: Add ghc-pandoc-1.	2018-03-13 20:01:54 +01:00
hexedit.scm	…
hugs.scm	…
hurd.scm	…
ibus.scm	gnu: libpinyin: Update to 2.1.91.	2018-01-29 23:27:53 +01:00
icu4c.scm	…
idris.scm	gnu: idris: Provide the right versions of dependencies.	2018-03-15 23:46:16 +01:00
idutils.scm	…
image-processing.scm	Merge branch 'master' into core-updates	2018-01-23 17:01:07 -05:00
image-viewers.scm	gnu: feh: Update to 2.25.1.	2018-03-08 12:25:05 +01:00
image.scm	gnu: Add r-jpeg.	2018-03-15 10:57:51 -04:00
imagemagick.scm	gnu: imagemagick: Update to 6.9.9-37.	2018-03-07 14:53:24 +01:00
indent.scm	…
inklingreader.scm	…
inkscape.scm	gnu: inkscape: Update to 0.92.3.	2018-03-14 07:47:31 +01:00
irc.scm	gnu: ii, sic: Use HTTPS home pages.	2018-03-04 18:03:44 +01:00
iso-codes.scm	gnu: Add python-iso3166.	2018-01-25 00:33:57 +03:00
java.scm	gnu: java-snakeyaml: Declare a source file-name.	2018-03-13 20:17:11 +02:00
javascript.scm	…
jemalloc.scm	…
jrnl.scm	…
julia.scm	gnu: arpack-ng: Update to 3.5.0; use 3.3.0 for julia.	2018-03-12 16:09:24 +01:00
kde-frameworks.scm	gnu: phonon: Update to 4.10.0.	2018-02-27 16:49:58 +01:00
kde.scm	gnu: qca: Use mirror://kde scheme for source-url.	2018-02-18 19:21:39 +01:00
kerberos.scm	…
key-mon.scm	…
kodi.scm	gnu: kodi: Update to 18.0_alpha-8.ec16dbc.	2018-02-25 18:35:25 +01:00
language.scm	gnu: perl-string-toidentifier-en: Update to 0.12.	2018-03-15 19:11:14 +01:00
ld-wrapper.in	…
ldc.scm	gnu: ldc: Add comment.	2018-02-21 12:07:13 +01:00
lego.scm	…
less.scm	…
lesstif.scm	…
libbsd.scm	…
libcanberra.scm	gnu: Use HTTPS for supported freedesktop.org home pages.	2018-02-26 20:13:10 +01:00
libdaemon.scm	…
libedit.scm	gnu: libedit: Update to 20170329-3.1.	2018-01-15 07:28:38 +01:00
libevent.scm	gnu: 'autoconf-wrapper' is no longer a procedure.	2018-03-09 23:24:34 +01:00
libffcall.scm	gnu: libffcall: Update to 2.1.	2018-02-17 21:20:31 +02:00
libffi.scm	gnu: python-cffi: Update phase style.	2018-02-26 20:13:11 +01:00
libftdi.scm	gnu: libftdi: Use HTTPS home page.	2018-03-01 22:21:00 +01:00
libidn.scm	…
libphidget.scm	…
libreoffice.scm	gnu: libe-book: Update to 0.1.3.	2018-03-01 17:40:49 +01:00
libsigsegv.scm	…
libunistring.scm	…
libunwind.scm	gnu: Use HTTPS for supported nongnu.org home pages.	2018-02-16 11:11:40 +01:00
libusb.scm	gnu: libusb4java: Declare a source file-name.	2018-03-13 20:17:11 +02:00
license.scm	gnu: Add licensecheck.	2018-02-24 20:01:31 +03:00
lighting.scm	gnu: ola: Update to 0.10.6.	2018-02-19 23:14:01 +01:00
linux.scm	gnu: linux-libre: Update to 4.15.9.	2018-03-14 11:04:00 -04:00
lirc.scm	…
lisp.scm	gnu: sbcl-cl-uglify-js: Declare a source file-name.	2018-03-13 20:17:11 +02:00
llvm.scm	gnu: clang-runtime: Fix build issues against glibc 2.26.	2018-01-18 00:09:11 +01:00
logging.scm	gnu: 'autoconf-wrapper' is no longer a procedure.	2018-03-09 23:24:34 +01:00
lolcode.scm	…
lout.scm	gnu: lout: Update phase style.	2018-02-21 15:02:48 +01:00
lsof.scm	gnu: lsof: Run tests.	2018-02-19 06:00:30 +01:00
lua.scm	Merge branch 'master' into core-updates	2018-02-09 01:46:34 -05:00
lxde.scm	gnu: lxterminal: Update to 0.3.1.	2018-01-18 04:26:42 +01:00
lxqt.scm	…
m4.scm	…
machine-learning.scm	Merge branch 'master' into core-updates	2018-02-03 22:46:07 -05:00
mail.scm	gnu: 'autoconf-wrapper' is no longer a procedure.	2018-03-09 23:24:34 +01:00
make-bootstrap.scm	gnu: guile-static-stripped: Remove dependency on bash-minimal.	2018-02-28 22:47:48 +01:00
man.scm	gnu: man-db: Update to 2.8.2.	2018-03-14 16:48:04 +01:00
markup.scm	…
marst.scm	…
mate.scm	gnu: 'autoconf-wrapper' is no longer a procedure.	2018-03-09 23:24:34 +01:00
maths.scm	gnu: octave: Update to 4.2.2.	2018-03-15 19:11:15 +01:00
maven.scm	gnu: Add maven-resolver-connector-basic.	2018-03-06 23:06:19 +01:00
mc.scm	gnu: mc: Substitute more FHS file names.	2018-02-08 05:01:41 +01:00
mcrypt.scm	…
medical.scm	…
mes.scm	gnu: nyacc: Update to 0.83.3.	2018-02-19 06:00:32 +01:00
messaging.scm	gnu: qtox: Wrap executable and fix misplaced comma (unquote).	2018-03-15 23:46:15 +01:00
microcom.scm	…
mingw.scm	gnu: mingw-w64: Update to 5.0.3.	2018-03-12 04:57:52 +01:00
moe.scm	…
monitoring.scm	gnu: nagios: Update to 4.3.4.	2018-03-01 22:21:00 +01:00
mono.scm	…
moreutils.scm	gnu: moreutils: Update to 0.62.	2018-01-02 01:14:20 +01:00
motti.scm	…
mp3.scm	gnu: chromaprint: Update to 1.4.3.	2018-02-19 23:14:02 +01:00
mpd.scm	gnu: mpd-mpc: Update to 0.29.	2018-02-22 01:40:29 -05:00
mpi.scm	gnu: hwloc: Add 2.0.0.	2018-02-06 17:34:34 +01:00
mtools.scm	gnu: exfat-utils: Update to 1.2.8.	2018-02-10 23:03:51 +01:00
multiprecision.scm	Merge branch 'master' into core-updates	2018-02-03 22:46:07 -05:00
music.scm	gnu: hydrogen: Declare a source file-name.	2018-03-13 20:17:11 +02:00
musl.scm	gnu: musl: Use HTTPS home page.	2018-02-23 16:00:04 +01:00
nano.scm	gnu: nano: Update to 2.9.4.	2018-03-08 20:29:20 +02:00
ncdu.scm	gnu: ncdu: Update to 1.13.	2018-02-02 17:48:43 +01:00
ncurses.scm	Merge branch 'master' into core-updates	2018-01-19 23:59:20 -05:00
netpbm.scm	…
nettle.scm	…
networking.scm	gnu: macchanger: Update to 1.7.0.	2018-03-14 18:23:46 +01:00
nfs.scm	gnu: nfs-utils: Adapt to changes in glibc 2.26.	2018-01-10 00:07:40 -08:00
nickle.scm	…
nim.scm	gnu: nim: Use INVOKE.	2018-02-08 17:53:23 +01:00
ninja.scm	gnu: ninja: Update to 1.8.2.	2018-01-19 13:19:33 +01:00
node.scm	gnu: node: Use more unbundled dependencies.	2018-03-12 18:04:16 +01:00
noweb.scm	…
ntp.scm	services: Add openntpd service.	2018-03-05 08:46:28 +02:00
nutrition.scm	…
nvi.scm	…
ocaml.scm	gnu: ocaml-ssl: Declare a source file-name.	2018-03-13 21:48:26 +02:00
ocr.scm	…
onc-rpc.scm	Merge branch 'master' into core-updates	2018-02-09 01:46:34 -05:00
openbox.scm	…
openldap.scm	gnu: nss-pam-ldapd: Update to 0.9.9.	2018-02-19 18:16:16 +01:00
openstack.scm	gnu: python-oslo.log: Update to 3.36.0.	2018-02-28 13:59:03 +01:00
orpheus.scm	gnu: orpheus: Fix build on aarch64-linux.	2018-01-21 12:53:33 +02:00
ots.scm	…
package-management.scm	gnu: 'autoconf-wrapper' is no longer a procedure.	2018-03-09 23:24:34 +01:00
parallel.scm	gnu: slurm: Update to 17.11.3.	2018-03-08 09:07:28 +01:00
password-utils.scm	gnu: yapet: Update to 1.1.	2018-03-08 09:07:29 +01:00
patchutils.scm	gnu: colordiff: Update to 1.0.18.	2018-01-12 13:08:13 +01:00
pciutils.scm	gnu: pciutils: Use HTTPS home page.	2018-02-19 23:14:01 +01:00
pcre.scm	Merge branch 'master' into core-updates	2018-01-19 23:59:20 -05:00
pdf.scm	Merge branch 'master' into core-updates	2018-02-18 00:39:25 +01:00
pem.scm	…
perl-check.scm	gnu: perl-test-harness: Update to 3.41.	2018-03-02 15:52:56 +01:00
perl-web.scm	…
perl.scm	gnu: perl-datetime-format-strptime: Update to 1.75.	2018-03-12 04:58:01 +01:00
photo.scm	gnu: Add RawTherapee.	2018-02-26 17:05:46 -05:00
php.scm	gnu: php: Fix test failure.	2018-03-01 22:25:28 +01:00
pkg-config.scm	…
plotutils.scm	…
polkit.scm	gnu: polkit: Fix 'invoke' call.	2018-02-27 09:22:24 +01:00
popt.scm	gnu: gengetopt: Disable parallel tests.	2018-02-01 14:44:01 +01:00
pretty-print.scm	gnu: highlight: Don't hard-code Lua version.	2018-03-02 15:52:56 +01:00
profiling.scm	gnu: papi: Use HTTPS home page.	2018-03-05 17:32:08 +01:00
protobuf.scm	…
pth.scm	…
pulseaudio.scm	gnu: pulsemixer: Declare a source file-name.	2018-03-13 20:17:12 +02:00
pumpio.scm	gnu: pumpa: Update to 0.9.3.	2018-02-22 17:24:36 +01:00
pv.scm	…
python-crypto.scm	gnu: python-asn1crypto: Declare a source file-name.	2018-03-13 20:17:12 +02:00
python-web.scm	gnu: python-betamax: Update to 0.8.1.	2018-03-14 18:23:46 +01:00
python.scm	gnu: python2-elib.intl: Declare a source file-name.	2018-03-14 21:16:55 +02:00
qt.scm	gnu: qscintilla: Use HTTPS home page.	2018-03-02 15:52:55 +01:00
ragel.scm	…
rails.scm	…
ratpoison.scm	gnu: Use HTTPS for supported nongnu.org home pages.	2018-02-16 11:11:40 +01:00
rdesktop.scm	…
rdf.scm	gnu: serd: Update to 0.28.0.	2018-02-08 17:53:59 +01:00
re2c.scm	…
readline.scm	Merge branch 'master' into core-updates	2018-01-19 23:59:20 -05:00
regex.scm	gnu: re2: Update to 2018-03-01.	2018-03-06 18:23:42 +01:00
robotics.scm	gnu: Add Aseba.	2018-01-30 16:40:32 +01:00
rrdtool.scm	gnu: rrdtool: Use a fixed version of tzdata for tests.	2018-02-20 14:58:52 +01:00
rsync.scm	gnu: rsync: Update to 3.1.3.	2018-01-30 09:25:35 +01:00
ruby.scm	gnu: Add ruby-iruby.	2018-03-03 12:51:27 +00:00
rush.scm	…
rust.scm	gnu: cargo-version: Fix URI in comment.	2018-01-29 00:23:27 +01:00
samba.scm	gnu: cifs-utils: Update to 6.8.	2018-03-15 19:11:14 +01:00
sawfish.scm	gnu: 'autoconf-wrapper' is no longer a procedure.	2018-03-09 23:24:34 +01:00
scanner.scm	…
scheme.scm	gnu: gambit-c: Update to 4.8.9.	2018-03-11 06:42:57 +01:00
screen.scm	…
scribus.scm	…
scsi.scm	…
sdcc.scm	gnu: sdcc: Fix typo in description.	2018-03-01 22:21:02 +01:00
sdl.scm	gnu: sdl2: Update to 2.0.8.	2018-03-03 13:27:15 +01:00
search.scm	gnu: tocc, libtocc: Use HTTPS home page.	2018-03-05 17:32:10 +01:00
security-token.scm	gnu: ccid: Update to 1.4.29.	2018-02-22 14:35:51 +01:00
selinux.scm	gnu: libsepol: Fix build on non-x86_64.	2018-01-29 23:40:23 +01:00
serialization.scm	gnu: Add python-feather-format.	2018-03-15 10:57:53 -04:00
serveez.scm	…
shells.scm	gnu: zsh: Fix CVE-2018-{7548,7549}.	2018-03-10 12:30:53 -05:00
shellutils.scm	gnu: direnv: Edit description.	2018-01-21 22:35:58 +01:00
simh.scm	…
simulation.scm	…
skarnet.scm	gnu: s6-networking: Update to 2.3.0.2.	2018-02-23 16:00:06 +01:00
skribilo.scm	gnu: Use HTTPS for supported nongnu.org home pages.	2018-02-16 11:11:40 +01:00
slang.scm	gnu: slang: Update to 2.3.1a.	2018-02-21 15:02:47 +01:00
smalltalk.scm	…
sml.scm	…
speech.scm	gnu: mitlm: Update to 0.4.2.	2018-01-18 05:03:01 +01:00
spice.scm	gnu: usbredir: Declare a source file-name.	2018-03-13 21:48:26 +02:00
ssh.scm	gnu: dropbear: Update to 2018.76.	2018-02-28 22:58:23 +01:00
sssd.scm	gnu: sssd: Update to 1.16.1.	2018-03-11 06:42:57 +01:00
stalonetray.scm	…
statistics.scm	gnu: r-stringi: Update to 1.1.7.	2018-03-14 07:47:32 +01:00
storage.scm	gnu: ceph: Update to 12.2.4.	2018-03-04 17:54:40 +01:00
suckless.scm	gnu: dmenu: Update to 4.8.	2018-03-15 20:13:29 +01:00
swig.scm	…
sync.scm	gnu: Consistently Write ‘file system(s)’.	2018-01-19 17:28:31 +01:00
syncthing.scm	gnu: syncthing: Update to 0.14.45.	2018-03-06 13:24:20 -05:00
syndication.scm	gnu: newsbeuter: Deprecate in favour of newsboat.	2018-01-11 03:16:00 +01:00
synergy.scm	…
task-management.scm	…
tbb.scm	…
tcl.scm	Merge branch 'master' into core-updates	2018-02-09 01:46:34 -05:00
telephony.scm	gnu: Use HTTPS for supported nongnu.org home pages.	2018-02-16 11:11:40 +01:00
terminals.scm	gnu: Add python-curtsies.	2018-02-15 21:44:06 +01:00
tex.scm	gnu: texlive-generic-pdftex: Declare a source file-name.	2018-03-14 21:16:55 +02:00
texinfo.scm	Merge branch 'master' into core-updates	2018-02-16 13:14:26 -05:00
text-editors.scm	gnu: mg: Use HTTPS home page.	2018-03-07 15:37:11 +01:00
textutils.scm	gnu: python-editdistance: Use 'invoke'.	2018-03-13 21:48:28 +02:00
time.scm	gnu: time: Update to 1.9.	2018-03-13 20:17:06 +02:00
tls.scm	gnu: certbot: Update to 0.22.0.	2018-03-15 12:19:11 -04:00
tmux.scm	…
tor.scm	gnu: tor: Update to 0.3.2.10 [security fixes].	2018-03-03 21:31:08 +01:00
toys.scm	gnu: Add sl.	2018-01-18 04:26:42 +01:00
tryton.scm	gnu: python-trytond: End phase in #t.	2018-01-22 22:09:27 +01:00
tv.scm	…
uml.scm	…
unrtf.scm	…
upnp.scm	gnu: miniupnpc: Update to 2.0.20180222.	2018-02-23 20:40:51 +01:00
uucp.scm	…
valgrind.scm	Merge branch 'master' into core-updates	2018-01-19 23:59:20 -05:00
version-control.scm	gnu: git-test-sequence: Declare a source file-name.	2018-03-13 21:48:28 +02:00
video.scm	gnu: you-get: Update to 0.4.1040.	2018-03-15 20:12:57 +01:00
vim.scm	gnu: vifm: Update to 0.9.1.	2018-02-11 20:04:44 +02:00
virtualization.scm	gnu: criu: Update to 3.7.	2018-03-12 04:57:53 +01:00
vpn.scm	gnu: vpnc-scripts: Declare a source file-name.	2018-03-13 21:48:28 +02:00
vulkan.scm	gnu: vulkan-icd-loader: Update to 1.1.70.0.	2018-03-08 08:53:19 +01:00
w3m.scm	gnu: w3m: Update to 0.5.3+git20180125 [fixes CVE-2018-{6196,6197,6198}].	2018-02-11 09:59:41 -05:00
wdiff.scm	…
web-browsers.scm	gnu: links, lynx, qutebrowser: Update phase style.	2018-03-07 15:37:13 +01:00
web.scm	gnu: geomyidae: Update to 0.31.	2018-03-14 10:21:18 +01:00
webkit.scm	gnu: webkitgtk: Use HTTPS for home page.	2018-03-14 18:23:46 +01:00
wget.scm	gnu: wget: Update to 1.19.4.	2018-01-23 15:01:15 +01:00
wicd.scm	…
wine.scm	gnu: wine-staging: Add SDL2 support.	2018-03-12 11:34:01 +01:00
wm.scm	gnu: i3-wm: Update to 4.15.	2018-03-12 18:47:16 +01:00
wordnet.scm	gnu: wordnet: Include PIC objects in libWN.a.	2018-01-31 00:04:00 +01:00
wv.scm	gnu: wv: Edit description.	2018-03-03 13:27:16 +01:00
wxwidgets.scm	Revert "gnu: Remove wxwidgets@2.8."	2018-02-22 14:35:51 +01:00
xdisorg.scm	gnu: rofi: Update redirected home page.	2018-03-12 18:47:16 +01:00
xfce.scm	gnu: xfburn: Update to 0.5.5.	2018-02-27 16:49:58 +01:00
xfig.scm	…
xiph.scm	Merge branch 'master' into core-updates	2018-02-16 13:14:26 -05:00
xml.scm	gnu: tinyxml2: Declare a source file-name.	2018-03-13 21:48:27 +02:00
xnee.scm	…
xorg.scm	gnu: xprop: Update to 1.2.3.	2018-03-10 11:38:33 +01:00
zile.scm	gnu: 'autoconf-wrapper' is no longer a procedure.	2018-03-09 23:24:34 +01:00