gnu: python-parse-type: Update to 0.4.2. * gnu/packages/python.scm (python-parse-type): Update to 0.4.2. [source](uri): Use PYPI-URI. [arguments]: Remove field.
gnu: python-parse: Update to 1.8.2. * gnu/packages/patches/python-parse-too-many-fields.patch: Delete file. * gnu/local.mk (dist_patch_DATA): Remove it. * gnu/packages/python.scm (python-parse): Update to 1.8.2. [source](patches): Remove. [arguments]: Use INVOKE instead of SYSTEM*.
gnu: neomutt: Update to 20180223. * gnu/packages/mail.scm (neomutt): Update to 20180223. [native-inputs]: Use 'docbook-xml-4.2'. [arguments]: Remove 'fix-docbook' phases. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
gnu: 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>
gnu: Add ghc-uri-encode. * gnu/packages/haskell-web.scm (ghc-uri-encode): New variable. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
gnu: ghc-hashtables: Allow newer version of vector. * gnu/packages/haskell.scm (ghc-hashtables)[arguments]: Allow newer version of vector. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
gnu: ghc-edit-distance: Allow newer version of QuickCheck. * gnu/packages/haskell.scm (ghc-edit-distance)[arguments]: Allow running tests with newer version of QuickCheck. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
nls: Update 'pt_BR' translation.
gnu: emacs-ahungry-theme: Update to 1.10.0. * gnu/packages/emacs.scm (emacs-ahungry-theme): Update to 1.10.0. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
gnu: cl-bordeaux-threads: Update to commit 354abb0a. This commit includes a fix which makes the package compatible asdf 3.3.1. * gnu/packages/lisp.scm (sbcl-bordeaux-threads): Update to commit 354abb0a. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
gnu: ccl: Update to 1.11.5. * gnu/packages/lisp.scm (ccl): Update to 1.11.5. [inputs]: Update ccl to its new hosting location. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
gnu: enca: Update to 1.19. * gnu/packages/textutils.scm (enca): Update to 1.19. [inputs]: Remove recode. [arguments]: Allow parallel tests.
gnu: recode: Update to 3.7. * gnu/packages/textutils.scm (recode): Update to 3.7. [source]: Update source uri and download type. Add snippet to remove cythonized source. [native-inputs]: Add python2-cython. [arguments]: Remove custom phases. [home-page]: Update to new upstream. [license]: Update license.
gnu: fribidi: Update to 1.0.1. * gnu/packages/fribidi.scm (fribidi): Update to 1.0.1. [source](uri): Change to new GitHub URI. [home-page]: Update to redirected URL.
gnu: kodi: Update to 18.0_alpha-8.ec16dbc. * gnu/packages/kodi.scm (libdvdnav/kodi): Update to 6.0.0-Leia-Alpha-1. (libdvdread/kodi): Update to 6.0.0-Leia-Alpha-1. (libdvdcss/kodi): Update to 1.4.1-Leia-Alpha-1. (kodi): Update to 18.0_alpha-8.ec16dbc. [version]: Use GIT-VERSION. [source](file-name): Use GIT-FILE-NAME. [arguments]: Adjust substitution. [home-page]: Use HTTPS.
gnu: Add java-plexus-sec-dispatcher. * gnu/packages/java.scm (java-plexus-sec-dispatcher): New variable.
gnu: Add java-modello-plugins-xpp3. gnu/packages/java.scm (java-modello-plugins-xpp3): New variable.
gnu: Add java-modello-test. gnu/packages/java.scm (java-modello-test): New variable.
gnu: Add java-modello-plugins-xml. * gnu/packages/java.scm (java-modello-plugins-xml): New variable.
gnu: Add java-modello-plugins-java. * gnu/packages/java.scm (java-modello-plugins-java): New variable.