Tobias Geerinckx-Rice
|
02fbb5c304
|
gnu: sbcl-fiveam: Don't use unstable tarball.
* gnu/packages/lisp.scm (sbcl-fiveam)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:40 +02:00 |
Tobias Geerinckx-Rice
|
8fa2bcc793
|
gnu: python-glob2: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-glob2)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:40 +02:00 |
Tobias Geerinckx-Rice
|
5b77ebe15c
|
gnu: python-dukpy: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-dukpy)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:40 +02:00 |
Tobias Geerinckx-Rice
|
1a04d42195
|
gnu: python-flasgger: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-flasgger)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:40 +02:00 |
Tobias Geerinckx-Rice
|
1961d18791
|
gnu: python-schematics: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-schematics)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:40 +02:00 |
Tobias Geerinckx-Rice
|
3e3ff8ad13
|
gnu: python-tlsh: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-tlsh)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:39 +02:00 |
Tobias Geerinckx-Rice
|
8524d13011
|
gnu: python-honcho: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-honcho)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:39 +02:00 |
Tobias Geerinckx-Rice
|
768fea0fd4
|
gnu: python-gridmap: Don't use unstable tarball.
* gnu/packages/python-xyz.scm (python-gridmap)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:39 +02:00 |
Tobias Geerinckx-Rice
|
5c44505b6d
|
gnu: java-cglib: Don't use unstable tarball.
* gnu/packages/java.scm (java-cglib)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:38 +02:00 |
Tobias Geerinckx-Rice
|
8f33d05e22
|
gnu: tippecanoe: Don't use unstable tarball.
* gnu/packages/geo.scm (tippecanoe)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:38 +02:00 |
Tobias Geerinckx-Rice
|
82b47fd9d1
|
gnu: osm2pgsql: Don't use unstable tarball.
* gnu/packages/geo.scm (osm2pgsql)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:38 +02:00 |
Tobias Geerinckx-Rice
|
f4daf25066
|
gnu: libosmium: Don't use unstable tarball.
* gnu/packages/geo.scm (libosmium)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:38 +02:00 |
Tobias Geerinckx-Rice
|
ca72dd2cb5
|
gnu: openlibm: Don't use unstable tarball.
* gnu/packages/maths.scm (openlibm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:38 +02:00 |
Tobias Geerinckx-Rice
|
830971bf3a
|
gnu: opencascade-oce: Don't use unstable tarball.
* gnu/packages/maths.scm (opencascade-oce)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:38 +02:00 |
Tobias Geerinckx-Rice
|
88efbab2d9
|
gnu: emacs-auto-yasnippet: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-auto-yasnippet)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:42:38 +02:00 |
Tobias Geerinckx-Rice
|
ba50c3e8d0
|
gnu: emacs-academic-phrases: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-academic-phrases)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:42:37 +02:00 |
Tobias Geerinckx-Rice
|
d4dcb84bbe
|
gnu: emacs-download-region: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-download-region)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:42:37 +02:00 |
Tobias Geerinckx-Rice
|
5db874d1df
|
gnu: gctp: Don't use unstable tarball.
* gnu/packages/maths.scm (gctp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:37 +02:00 |
Tobias Geerinckx-Rice
|
7848205b24
|
gnu: ocaml-utop: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-utop)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:37 +02:00 |
Tobias Geerinckx-Rice
|
fd2582bd7f
|
gnu: ocaml-lambda-term: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-lambda-term)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:37 +02:00 |
Tobias Geerinckx-Rice
|
f4f3e8ce4d
|
gnu: ocaml-zed: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-zed)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:37 +02:00 |
Tobias Geerinckx-Rice
|
55f9f9b081
|
gnu: ocaml-jbuilder: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-jbuilder)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:36 +02:00 |
Tobias Geerinckx-Rice
|
677a88e075
|
gnu: ocaml-piqilib: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-piqilib)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:36 +02:00 |
Tobias Geerinckx-Rice
|
554d98db77
|
gnu: optcomp: Don't use unstable tarball.
* gnu/packages/ocaml.scm (optcomp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:36 +02:00 |
Tobias Geerinckx-Rice
|
e4bb29ddfa
|
gnu: ocaml4.02-uri: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-uri)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:36 +02:00 |
Tobias Geerinckx-Rice
|
21b1845dde
|
gnu: ocaml4.02-ezjsonm: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ezjsonm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:36 +02:00 |
Tobias Geerinckx-Rice
|
07c3711d0f
|
gnu: ocaml-re: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-re)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:36 +02:00 |
Tobias Geerinckx-Rice
|
f6a99fbfa2
|
gnu: ocaml-seq: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-seq)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Fix indentation.
|
2019-04-11 05:42:22 +02:00 |
Tobias Geerinckx-Rice
|
2209b362a5
|
gnu: ocaml4.02-ppx-deriving: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ppx-deriving)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add ‘make-git-checkout-writable’ phase.
Fix indentation.
|
2019-04-11 05:42:09 +02:00 |
Tobias Geerinckx-Rice
|
f8b8e60e2c
|
gnu: ocaml-ulex: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-ulex)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:09 +02:00 |
Tobias Geerinckx-Rice
|
71117a36b6
|
gnu: ocaml4.02-ppx-tools: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ppx-tools)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:42:08 +02:00 |
Tobias Geerinckx-Rice
|
ef59cf9d3b
|
gnu: ocaml-ppx-tools: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-ppx-tools)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Fix indentation.
|
2019-04-11 05:41:55 +02:00 |
Tobias Geerinckx-Rice
|
e3c7ac732f
|
gnu: ocaml-bisect: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-bisect)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:32:52 +02:00 |
Tobias Geerinckx-Rice
|
b01339816a
|
gnu: ocaml-qcheck: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-qcheck)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:32:52 +02:00 |
Tobias Geerinckx-Rice
|
34f615a2c1
|
gnu: ocaml-num: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-num)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:32:52 +02:00 |
Tobias Geerinckx-Rice
|
d5dee1de7c
|
gnu: camlp4@4.02+6: Don't use unstable tarball.
* gnu/packages/ocaml.scm (camlp4-4.02)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:32:51 +02:00 |
Tobias Geerinckx-Rice
|
93b3dc523e
|
gnu: emacs-mkmcc-gnuplot-mode: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-mkmcc-gnuplot-mode)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:32:51 +02:00 |
Tobias Geerinckx-Rice
|
a287c7fdbc
|
gnu: emacs-git-annex: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-git-annex)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:32:51 +02:00 |
Tobias Geerinckx-Rice
|
20f28d0b7d
|
gnu: emacs-mu4e-conversation: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-mu4e-conversation)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:32:51 +02:00 |
Tobias Geerinckx-Rice
|
106f265575
|
gnu: emacs-package-lint: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-package-lint)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:32:51 +02:00 |
Tobias Geerinckx-Rice
|
76cd61504e
|
gnu: emacs-image+: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-image+)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:32:51 +02:00 |
Tobias Geerinckx-Rice
|
559eb2976f
|
gnu: emacs-helm-ls-git: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-ls-git)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:32:50 +02:00 |
Tobias Geerinckx-Rice
|
de3bb0e077
|
gnu: emacs-helm-flycheck: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-flycheck)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:32:50 +02:00 |
Tobias Geerinckx-Rice
|
cfb041aa42
|
gnu: emacs-helm-emms: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-emms)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:32:50 +02:00 |
Tobias Geerinckx-Rice
|
8886857500
|
gnu: texlive-generic-listofitems: Fix typo in synopsis.
* gnu/packages/tex.scm (texlive-generic-listofitems)[synopsis]: Fix typo.
|
2019-04-11 05:32:49 +02:00 |
Tobias Geerinckx-Rice
|
f714bb3ddb
|
gnu: gimp: Fix typo in description.
* gnu/packages/gimp.scm (gimp-resynthesizer)[description]: Fix typo.
|
2019-04-11 05:32:49 +02:00 |
Tobias Geerinckx-Rice
|
b4733a1a6f
|
gnu: clamav: Update to 0.101.2.
* gnu/packages/antivirus.scm (clamav): Update to 0.101.2.
|
2019-04-11 05:32:49 +02:00 |
Tobias Geerinckx-Rice
|
819cba3cd8
|
gnu: fasm: Update to 1.73.10.
* gnu/packages/assembly.scm (fasm): Update to 1.73.10.
|
2019-04-11 05:32:49 +02:00 |
Tobias Geerinckx-Rice
|
4b27b09a3a
|
gnu: hangups: Update to 0.4.9.
* gnu/packages/messaging.scm (hangups): Update to 0.4.9.
[native-inputs]: Add python-httpretty and python-pytest.
|
2019-04-11 05:32:49 +02:00 |
Tobias Geerinckx-Rice
|
5e869bde79
|
gnu: Add python-httpretty.
* gnu/packages/web.scm (python-httpretty): New public variable.
|
2019-04-11 05:32:48 +02:00 |
Tobias Geerinckx-Rice
|
0437c682f5
|
gnu: links: Update to 2.19.
* gnu/packages/web-browsers.scm (links): Update to 2.19.
|
2019-04-11 05:32:48 +02:00 |
Tobias Geerinckx-Rice
|
5dcd4007b6
|
gnu: links: Don't use NAME in source URI.
* gnu/packages/web-browsers.scm (links)[source]: Hard-code NAME.
|
2019-04-11 05:32:48 +02:00 |
Tobias Geerinckx-Rice
|
cf287faa6b
|
gnu: ansible: Update to 2.7.10.
* gnu/packages/admin.scm (ansible): Update to 2.7.10.
|
2019-04-11 05:32:48 +02:00 |
Tobias Geerinckx-Rice
|
58d20bf01a
|
gnu: surfraw: Update to 2.3.0.
* gnu/packages/web.scm (surfraw): Update to 2.3.0.
|
2019-04-11 05:32:48 +02:00 |
Tobias Geerinckx-Rice
|
20d509643c
|
gnu: stunnel: Update to 5.53.
* gnu/packages/web.scm (stunnel): Update to 5.53.
|
2019-04-11 05:32:48 +02:00 |
Tobias Geerinckx-Rice
|
079db05675
|
gnu: xmobar: Don't use NAME in source URI.
* gnu/packages/wm.scm (xmobar)[source]: Hard-code NAME.
|
2019-04-11 05:32:47 +02:00 |
Tobias Geerinckx-Rice
|
4b9e4ac73d
|
gnu: polybar: Update to 3.3.1.
* gnu/packages/wm.scm (polybar): Update to 3.3.1.
|
2019-04-11 05:32:47 +02:00 |
Tobias Geerinckx-Rice
|
2188eb7654
|
gnu: duplicity: Update to 0.7.18.2.
* gnu/packages/backup.scm (duplicity): Update to 0.7.18.2.
|
2019-04-11 05:32:47 +02:00 |
Tobias Geerinckx-Rice
|
d514bb1346
|
gnu: xcompmgr: Use GIT-FILE-NAME.
* gnu/packages/xorg.scm (xcompmgr)[source]: Use GIT-FILE-NAME.
|
2019-04-11 05:26:46 +02:00 |
Tobias Geerinckx-Rice
|
5b6a159aa8
|
gnu: xcompmgr: Update to 1.1.8.
* gnu/packages/xorg.scm (xcompmgr): Update to 1.1.8.
|
2019-04-11 05:26:46 +02:00 |
Tobias Geerinckx-Rice
|
a35003c209
|
gnu: xcompmgr: Don't use NAME in source tag.
* gnu/packages/xorg.scm (xcompmgr)[source]: Hard-code NAME.
|
2019-04-11 05:26:46 +02:00 |
Tobias Geerinckx-Rice
|
89ab360e01
|
gnu: cifs-utils: Update to 6.9.
* gnu/packages/samba.scm (cifs-utils): Update to 6.9.
|
2019-04-11 05:26:45 +02:00 |
Tobias Geerinckx-Rice
|
1a0a4a6970
|
gnu: cifs-utils: Don't use NAME in source URI.
* gnu/packages/samba.scm (cifs-utils)[source]: Hard-code NAME.
|
2019-04-11 05:26:45 +02:00 |
Tobias Geerinckx-Rice
|
e02ecf5c3a
|
gnu: youtube-dl: Update to 2019.04.07.
* gnu/packages/video.scm (youtube-dl): Update to 2019.04.07.
|
2019-04-11 05:26:45 +02:00 |
Tobias Geerinckx-Rice
|
10eefb7092
|
gnu: beep: Update to 1.4.4.
* gnu/packages/terminals.scm (beep): Update to 1.4.4.
|
2019-04-11 05:26:44 +02:00 |
Tobias Geerinckx-Rice
|
30c9e096e0
|
gnu: noice: Update to 0.8.
* gnu/packages/suckless.scm (noice): Update to 0.8.
|
2019-04-11 05:26:44 +02:00 |
Tobias Geerinckx-Rice
|
afa4f88841
|
gnu: noice: Don't use NAME in source URI.
* gnu/packages/suckless.scm (noice)[source]: Hard-code NAME.
|
2019-04-11 05:26:44 +02:00 |
Tobias Geerinckx-Rice
|
0e68435751
|
gnu: autojump: Update to 22.5.3.
* gnu/packages/admin.scm (autojump): Update to 22.5.3.
|
2019-04-11 05:26:44 +02:00 |
Tobias Geerinckx-Rice
|
24d459ceca
|
gnu: autojump: Don't use unstable tarball.
* gnu/packages/admin.scm (autojump)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add ‘make-git-checkout-writable’ phase.
|
2019-04-11 05:26:44 +02:00 |
Tobias Geerinckx-Rice
|
7710b8f8ad
|
gnu: acpica: Update to 20190405.
* gnu/packages/admin.scm (acpica): Update to 20190405.
|
2019-04-11 05:26:43 +02:00 |
Tobias Geerinckx-Rice
|
3e461b71bc
|
gnu: nestopia-ue: Don't use unstable tarball.
* gnu/packages/emulators.scm (nestopia-ue)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:26:43 +02:00 |
Tobias Geerinckx-Rice
|
225157a0b2
|
gnu: mupen64plus-ui-console: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-ui-console)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:26:43 +02:00 |
Tobias Geerinckx-Rice
|
d42d0a0b08
|
gnu: mupen64plus-video-rice: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-video-rice)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:26:43 +02:00 |
Tobias Geerinckx-Rice
|
e5e7a1676d
|
gnu: mupen64plus-video-glide64mk2: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-video-glide64mk2)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:26:42 +02:00 |
Tobias Geerinckx-Rice
|
6253618621
|
gnu: mupen64plus-video-glide64: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-video-glide64)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:26:42 +02:00 |
Tobias Geerinckx-Rice
|
2074c8bf13
|
gnu: mupen64plus-video-arachnoid: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-video-arachnoid)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:26:42 +02:00 |
Tobias Geerinckx-Rice
|
052650c840
|
gnu: mupen64plus-rsp-z64: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-rsp-z64)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:26:42 +02:00 |
Tobias Geerinckx-Rice
|
c4f0c8baa9
|
gnu: mupen64plus-rsp-hle: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-rsp-hle)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:26:42 +02:00 |
Tobias Geerinckx-Rice
|
ef5ef8f55f
|
gnu: mupen64plus-input-sdl: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-input-sdl)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:26:41 +02:00 |
Tobias Geerinckx-Rice
|
8c6d45cb51
|
gnu: mupen64plus-audio-sdl: Don't use unstable tarball.
* gnu/packages/emulators.scm (mupen64plus-audio-sdl)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-11 05:05:09 +02:00 |
Leo Famulari
|
b3a476624c
|
gnu: dovecot-trees: Fix typo.
* gnu/packages/mail.scm (dovecot-trees)[description]: Fix typo.
|
2019-04-10 19:27:30 -04:00 |
Julien Lepiller
|
e9b86fa0f1
|
gnu: opam: Unbundle dependencies.
* gnu/packages/ocaml.scm (opam)[build-system]: Use ocaml-build-system.
[source]: Use unbundled sources.
[arguments]: Update.
[inputs, native-inputs, propagated-inputs]: Add missing dependencies.
|
2019-04-10 21:39:28 +02:00 |
Julien Lepiller
|
ec9d932562
|
gnu: Add ocaml-dose3.
* gnu/packages/ocaml.scm (ocaml-dose3): New variable.
* gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch:
New file.
* gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch: New file.
* gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch: New file.
* gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add them.
|
2019-04-10 21:39:20 +02:00 |
Julien Lepiller
|
c4262cc932
|
gnu: Add ocaml-mccs.
* gnu/packages/ocaml.scm (ocaml-mccs): New variable.
|
2019-04-10 21:39:17 +02:00 |
Julien Lepiller
|
718fadb8ca
|
gnu: Add ocaml-cudf.
* gnu/packages/ocaml.scm (ocaml-cudf): New variable.
|
2019-04-10 21:39:15 +02:00 |
Julien Lepiller
|
bb338a7f80
|
gnu: Add ocaml-extlib.
* gnu/packages/ocaml.scm (ocaml-extlib): New variable.
|
2019-04-10 21:39:13 +02:00 |
Julien Lepiller
|
b6bba90e92
|
gnu: ocaml-cmdliner: Update to 1.0.3.
* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.3.
|
2019-04-10 21:39:10 +02:00 |
Julien Lepiller
|
d1358ab633
|
gnu: Add ocaml-opam-file-format.
* gnu/packages/ocaml.scm (ocaml-opam-file-format): New variable.
|
2019-04-10 21:39:07 +02:00 |
Tobias Geerinckx-Rice
|
81a9ab87fc
|
gnu: emacs-nix-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-nix-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
8e65ada235
|
gnu: emacs-helm-mu: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-helm-mu)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
5a6e6f5df2
|
gnu: emacs-helm-exwm: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-helm-exwm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
6141df6689
|
gnu: emacs-zotxt: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-zotxt)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
d7d1b6f6d8
|
gnu: emacs-dumb-jump: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-dumb-jump)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
71ff571454
|
gnu: emacs-company-restclient: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-company-restclient)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
fe7be4deb9
|
gnu: emacs-git-auto-commit-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-git-auto-commit-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
7a8cdab4ff
|
gnu: emacs-slime-company: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-slime-company)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
d13cee982f
|
gnu: emacs-dashboard: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-dashboard)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
6b746c89ac
|
gnu: emacs-wordgen: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-wordgen)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
f903fa46ee
|
gnu: emacs-ido-vertical-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-ido-vertical-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
609d10339d
|
gnu: emacs-parinfer-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-parinfer-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:21 +02:00 |
Tobias Geerinckx-Rice
|
fa8976d6ca
|
gnu: emacs-highlight-defined: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-highlight-defined)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
Tobias Geerinckx-Rice
|
8792f08b09
|
gnu: emacs-visual-regexp: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-visual-regexp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
Tobias Geerinckx-Rice
|
149829ee62
|
gnu: emacs-highlight-numbers: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-highlight-numbers)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
Tobias Geerinckx-Rice
|
0f5f9eacf4
|
gnu: emacs-f3: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-f3)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
Tobias Geerinckx-Rice
|
8d7f5c55a7
|
gnu: emacs-benchmark-init: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-benchmark-init)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
Tobias Geerinckx-Rice
|
0dac411dc1
|
gnu: emacs-strace-mode: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-strace-mode)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
Tobias Geerinckx-Rice
|
f93f4d508c
|
gnu: emacs-logview: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-logview)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
Tobias Geerinckx-Rice
|
bb926860bf
|
gnu: emacs-helpful: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-helpful)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
Tobias Geerinckx-Rice
|
f0d3638738
|
gnu: emacs-org-ref: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-org-ref)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
Tobias Geerinckx-Rice
|
9c5c944616
|
gnu: emacs-know-your-http-well: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-know-your-http-well)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:20 +02:00 |
Tobias Geerinckx-Rice
|
dbbd98b4a5
|
gnu: emacs-fancy-narrow: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-fancy-narrow)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
Tobias Geerinckx-Rice
|
fc13138245
|
gnu: emacs-add-hooks: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-add-hooks)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
Tobias Geerinckx-Rice
|
497e491551
|
gnu: emacs-dired-hacks: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-dired-hacks)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
Tobias Geerinckx-Rice
|
5cbecbcf19
|
gnu: emacs-web-beautify: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-web-beautify)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
Tobias Geerinckx-Rice
|
2880da9ea5
|
gnu: emacs-md4rd: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-md4rd)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
Tobias Geerinckx-Rice
|
a549aaf423
|
gnu: emacs-helm-c-yasnippet: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-c-yasnippet)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
Tobias Geerinckx-Rice
|
3211f45f0b
|
gnu: emacs-dream-theme: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-dream-theme)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
Tobias Geerinckx-Rice
|
4550d8d6d2
|
gnu: emacs-nnreddit: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-nnreddit)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
Tobias Geerinckx-Rice
|
5a2e25f805
|
gnu: emacs-hy-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-hy-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
Tobias Geerinckx-Rice
|
df88a39650
|
gnu: emacs-beginend: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-beginend)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:19 +02:00 |
Tobias Geerinckx-Rice
|
145d1f39db
|
gnu: emacs-parent-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-parent-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
Tobias Geerinckx-Rice
|
339eef40f8
|
gnu: emacs-sourcemap: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-sourcemap)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
Tobias Geerinckx-Rice
|
006a1da8a6
|
gnu: emacs-edit-server: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-edit-server)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
Tobias Geerinckx-Rice
|
cbd18c5ca7
|
gnu: emacs-elisp-refs: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-elisp-refs)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
Tobias Geerinckx-Rice
|
1a9a7ad59a
|
gnu: emacs-ws-butler: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-ws-butler)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
Tobias Geerinckx-Rice
|
e163d78eea
|
gnu: emacs-loop: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-loop)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
Tobias Geerinckx-Rice
|
32ce5382ef
|
gnu: emacs-npm-mode: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-npm-mode)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
Tobias Geerinckx-Rice
|
6c4f58ad60
|
gnu: emacs-highlight-stages: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-highlight-stages)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
Tobias Geerinckx-Rice
|
95994b0212
|
gnu: emacs-datetime: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-datetime)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
Tobias Geerinckx-Rice
|
2b05c9ad5a
|
gnu: emacs-hierarchy: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-hierarchy)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:18 +02:00 |
Tobias Geerinckx-Rice
|
afca2f41c2
|
gnu: emacs-move-text: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-move-text)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:17 +02:00 |
Tobias Geerinckx-Rice
|
5521a3e746
|
gnu: emacs-list-utils: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-list-utils)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:17 +02:00 |
Tobias Geerinckx-Rice
|
40cc1884ef
|
gnu: emacs-helm-gtags: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-helm-gtags)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:17 +02:00 |
Tobias Geerinckx-Rice
|
8219da2c7f
|
gnu: emacs-biblio: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-biblio)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:17 +02:00 |
Tobias Geerinckx-Rice
|
63bca23d38
|
gnu: emacs-parsebib: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-parsebib)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:17 +02:00 |
Tobias Geerinckx-Rice
|
a670c3a553
|
gnu: emacs-makey: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-makey)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:17 +02:00 |
Tobias Geerinckx-Rice
|
6e215be72f
|
gnu: emacs-dedicated: Don't use unstable tarball.
* gnu/packages/emacs-xyz.scm (emacs-dedicated)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
|
2019-04-10 20:54:17 +02:00 |
Tobias Geerinckx-Rice
|
647d25879d
|
gnu: emacs-ibuffer-projectile: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-ibuffer-projectile)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:17 +02:00 |
Tobias Geerinckx-Rice
|
81b1bd48cf
|
gnu: emacs-mbsync: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-mbsync)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:17 +02:00 |
Tobias Geerinckx-Rice
|
32a804e250
|
gnu: emacs-macrostep: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-macrostep)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:17 +02:00 |
Tobias Geerinckx-Rice
|
ac5b171c92
|
gnu: emacs-esup: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-esup)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:17 +02:00 |
Tobias Geerinckx-Rice
|
187331e100
|
gnu: emacs-crux: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-crux)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:16 +02:00 |
Tobias Geerinckx-Rice
|
757ea841a6
|
gnu: emacs-helm-bibtex: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-bibtex)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:16 +02:00 |
Tobias Geerinckx-Rice
|
74ea764ea4
|
gnu: emacs-danneskjold-theme: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-danneskjold-theme)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:16 +02:00 |
Tobias Geerinckx-Rice
|
5b81060e7e
|
gnu: emacs-evil-collection: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-evil-collection)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:16 +02:00 |
Tobias Geerinckx-Rice
|
d0deefe063
|
gnu: emacs-evil: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-evil)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:16 +02:00 |
Tobias Geerinckx-Rice
|
ad9433009c
|
gnu: emacs-helm-make: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-helm-make)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:16 +02:00 |
Tobias Geerinckx-Rice
|
64e9f69672
|
gnu: emacs-elpy: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-elpy)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:16 +02:00 |
Tobias Geerinckx-Rice
|
1dc4c043be
|
gnu: emacs-highlight-indentation: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-highlight-indentation)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:16 +02:00 |
Tobias Geerinckx-Rice
|
f7f5a403bf
|
gnu: emacs-find-file-in-project: Use GIT-FILE-NAME.
* gnu/packages/emacs-xyz.scm (emacs-find-file-in-project)[source]: Use GIT-FILE-NAME.
|
2019-04-10 20:54:15 +02:00 |