Commit Graph

666 Commits

Author SHA1 Message Date
Vincent Laporte
48f9d48a51
proofgeneral_HEAD: 2017-05-06 -> 2017-11-06 2017-11-16 00:01:42 +00:00
Michael Alan Dorman
4e00194ba6 melpa-packages: 2017-11-13 2017-11-14 07:54:11 -05:00
Michael Alan Dorman
ad138cecdc melpa-stable-packages: 2017-11-13 2017-11-14 07:54:10 -05:00
Michael Alan Dorman
e15ce53da3 org-packages: 2017-11-13 2017-11-14 07:54:10 -05:00
Michael Alan Dorman
f8b31144d0 elpa-packages: 2017-11-13 2017-11-14 07:54:10 -05:00
Matthew Bauer
47a854ae01 emacs: add missing packages
this fixes eval for nix-env -qaA nixpkgs.emacsPackagesNg
2017-11-12 18:43:35 -06:00
Matthew Bauer
4ad86c5f96 font-lock-plus: fix eval 2017-11-12 18:09:26 -06:00
Matthew Bauer
90ae8bc1a8 emacs: fix cn-outline error
cn-outline is no longer in melpa so markBroken is not needed anymore

Fixes #31510
2017-11-12 18:08:08 -06:00
Joachim F
27b92b1d39
Merge pull request #31334 from mdorman/emacs-updates
Semi-automated Emacs package updates
2017-11-11 09:15:57 +00:00
Michael Alan Dorman
150d35dd0a melpa-packages: 2017-11-06 2017-11-06 16:58:25 -05:00
Michael Alan Dorman
fa3ca0c70e melpa-stable-packages: 2017-11-06 2017-11-06 16:58:25 -05:00
Michael Alan Dorman
532e2edcdd org-packages: 2017-11-06 2017-11-06 16:58:25 -05:00
Michael Alan Dorman
2fa69f6b46 elpa-packages: 2017-11-06 2017-11-06 16:58:24 -05:00
adisbladis
ff2d16e7f8
emacsPackages.font-lock-plus: init at 20170222.1755 2017-11-06 11:43:38 +08:00
Michael Alan Dorman
3ab147bee0 melpa-packages: 2017-11-01
Removals:
 - axiom-environment: 404 not found error
 - ob-axiom: 404 not found error
2017-11-01 11:43:58 -04:00
Michael Alan Dorman
70b132c976 melpa-stable-packages: 2017-11-01 2017-11-01 11:43:58 -04:00
Michael Alan Dorman
086f276167 org-packages: 2017-11-01 2017-11-01 11:43:58 -04:00
Michael Alan Dorman
933a9c5f16 elpa-packages: 2017-11-01 2017-11-01 11:43:57 -04:00
Sergiu Ivanov
e83ee49386 icicles: 2014-11-06 -> 2017-10-28
Also add icicles to the new Emacs infrastructure.
2017-11-01 00:03:57 +01:00
Herwig Hochleitner
eb3f736afd emacsPackages.gn: init 2017-09-21 2017-10-28 15:19:07 +02:00
Michael Alan Dorman
5f8bbb96f8 melpa-packages: 2017-10-21 2017-10-22 15:38:43 +02:00
Michael Alan Dorman
fb2ad5327d melpa-stable-packages: 2017-10-21 2017-10-22 15:38:43 +02:00
Michael Alan Dorman
9ba279f0c8 elpa-packages: 2017-10-21 2017-10-22 15:38:43 +02:00
Michael Alan Dorman
a6e489cca4 melpa-packages: 2017-10-16
Removals:
 - org-chinese-utils: removed from melpa
2017-10-16 18:07:41 -04:00
Michael Alan Dorman
faf85e2ad6 melpa-stable-packages: 2017-10-16 2017-10-16 18:07:41 -04:00
Michael Alan Dorman
b8e051acbc org-packages: 2017-10-16 2017-10-16 18:07:40 -04:00
Michael Alan Dorman
cef2fc4d32 elpa-packages: 2017-10-16 2017-10-16 18:07:40 -04:00
Michael Alan Dorman
1c9a15bfdc melpa-packages: 2017-10-09
Removals:
 - baidu-life: Removed from melpa
 - any packages not available in git or hg
2017-10-11 07:40:54 -04:00
Michael Alan Dorman
5e1c5b8b61 melpa-stable-packages: 2017-10-09
Removals:
 - forecast: tags no longer present in repo
 - org-mac-iCal: removed from melpa
 - paper-theme: tags no longer present in repo
2017-10-11 07:40:53 -04:00
Michael Alan Dorman
2ad1754290 org-packages: 2017-10-09 2017-10-11 07:40:53 -04:00
Michael Alan Dorman
ed6c85c04c elpa-packages: 2017-10-09 2017-10-11 07:40:53 -04:00
Orivej Desh
66d4941afe Merge branch 'master' into staging
* master: (48 commits)
  Mathematica: 11.0.1 -> 11.2.0
  kbfs: 20170922.f76290 -> 20171004.40555d
  packer: 1.0.3 -> 1.1.0
  libxdg-basedir: 1.0.2 -> 1.2.0
  fscrypt: 0.2.1 -> 0.2.2
  devtodo: init at 0.1.20
  keybase: 1.0.30 -> 1.0.33
  elixir: Fix locale problem on NixOS
  keybase-gui: 1.0.25 -> 1.0.33
  terraform: 0.10.2 -> 0.10.7  (#30055)
  emby: 3.2.32.0 -> 3.2.33.0
  sbcl: 1.3.21 -> 1.4.0
  ardour: 5.11 -> 5.12
  axoloti: fix evaluation
  axoloti: init at 1.0.12-1
  melpa-packages: Add new lean packages
  fastlane: init at 2.60.1
  nixos/traefik: guard example path
  go-ethereum: 1.7.0 -> 1.7.1
  xzgv: 0.9.1 -> 0.9.2
  ...
2017-10-05 07:41:39 +00:00
Shea Levy
ef29901d23 melpa-packages: Add new lean packages 2017-10-04 07:02:45 -07:00
John Ericson
531e4b80c9 misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs
Only acts on one-line dependency lists.
2017-09-21 15:49:53 -04:00
Michael Alan Dorman
9feb5bdf06 melpa-packages: 2017-09-13
Removals:
 - debian-bug: removed from melpa
 - debian-changelog-mode: removed from melpa
 - rcirc-color: removed from melpa
 - sentence-highlight: removed from melpa
2017-09-13 10:28:38 -04:00
Michael Alan Dorman
b9eb2d3348 melpa-stable-packages: 2017-09-13
Removals:
 - sentence-highlight: removed from melpa
2017-09-13 10:28:38 -04:00
Michael Alan Dorman
cfe5664e04 org-packages: 2017-09-13 2017-09-13 10:28:38 -04:00
Michael Alan Dorman
bae9557826 elpa-packages: 2017-09-13 2017-09-13 10:28:37 -04:00
Michael Alan Dorman
12e1a2b186 melpa-packages: 2017-09-04 2017-09-04 15:09:45 -04:00
Michael Alan Dorman
cb04086a96 melpa-stable-packages: 2017-09-04 2017-09-04 15:09:45 -04:00
Michael Alan Dorman
e010d2d2cb org-packages: 2017-09-04 2017-09-04 15:09:45 -04:00
Michael Alan Dorman
4216546642 elpa-packages: 2017-09-04 2017-09-04 15:09:45 -04:00
Michael Alan Dorman
8374c027f9 melpa-packages: 2017-08-30
Removals:
 - chinese-fonts-setup: removed from melpa
 - chinese-pyim: removed from melpa
 - mo-git-blame: source repository moved, recipe not yet updated
 - org-webpage: removed from melpa
 - simple-rtm: source repository moved, recipe not yet updated
 - vc-fossil: recipe doesn't match repository
2017-08-30 13:45:02 -04:00
Michael Alan Dorman
e035d95a43 melpa-stable-packages: 2017-08-30
Removals:
 - chinese-fonts-setup: removed from melpa
 - chinese-pyim: removed from melpa
2017-08-30 13:45:01 -04:00
Michael Alan Dorman
28de93c5bd org-packages: 2017-08-30 2017-08-30 13:45:01 -04:00
Michael Alan Dorman
28cb5f58cf elpa-packages: 2017-08-30 2017-08-30 13:45:01 -04:00
Michael Alan Dorman
9af00c8d44 melpa-packages: 2017-08-21
Removals:
 - achievements: removed from melpa
 - avk-emacs-themes
 - coq-commenter: removed from melpa
 - crab: removed from melpa
 - crontab-mode: removed from melpa
 - darkane-theme: removed from melpa
 - el-pocket: removed from melpa
 - ess-R-object-popup: removed from melpa
 - euslisp-mode: removed from melpa
 - firebelly-theme: removed from melpa
 - gap-mode: removed from melpa
 - ghost-blog: removed from melpa
 - harvest: removed from melpa
 - helm-ctest: removed from melpa
 - imgix: removed from melpa
 - inf-php: removed from melpa
 - inform7-mode: removed from melpa
 - inline-crypt: removed from melpa
 - jaunte: removed from melpa
 - mandoku-tls: removed from melpa
 - memento: removed from melpa
 - n3-mode: removed from melpa
 - niflheim-theme: removed from melpa
 - nyan-prompt: removed from melpa
 - org-jekyll: removed from melpa
 - pastels-on-dark-theme: removed from melpa
 - pyim-greatdict: removed from melpa
 - railgun: removed from melpa
 - rails-new: removed from melpa
 - refheap: removed from melpa
 - ruby-dev: removed from melpa
 - ruby-guard: removed from melpa
 - sicp: removed from melpa
 - slime-annot: removed from melpa
 - slime-ritz: removed from melpa
 - sly-repl-ansi-color: removed from melpa
 - smali-mode: removed from melpa
 - smartwin: removed from melpa
 - sourcetalk: removed from melpa
 - stgit: removed from melpa
 - subshell-proc: removed from melpa
 - sudden-death: removed from melpa
 - syslog-mode: removed from melpa
 - tj-mode: removed from melpa
 - tronesque-theme: removed from melpa
 - turkish: removed from melpa
 - uzumaki: removed from melpa
 - vimgolf: removed from melpa
 - wordsmith-mode: removed from melpa
 - yatex: removed from melpa
 - zig-mode: removed from melpa
2017-08-22 05:29:20 -04:00
Michael Alan Dorman
2263a7a110 melpa-stable-packages: 2017-08-21
Removals:
 - ess-R-object-popup: removed from melpa
 - harvest: removed from melpa
 - imgix: removed from melpa
 - inline-crypt: removed from melpa
 - nyan-prompt: removed from melpa
 - pyim-greatdict: removed from melpa
 - slime-ritz: removed from melpa
 - sourcetalk: removed from melpa
 - stgit: removed from melpa
 - subshell-proc: removed from melpa
 - sudden-death: removed from melpa
 - uzumaki: removed from melpa
 - wordsmith-mode: removed from melpa
 - yatex: removed from melpa
2017-08-22 05:29:20 -04:00
Michael Alan Dorman
ec4f63c87b org-packages: 2017-08-21 2017-08-22 05:29:20 -04:00
Michael Alan Dorman
aa49e36be0 elpa-packages: 2017-08-21 2017-08-22 05:29:20 -04:00