Commit Graph

772 Commits

Author SHA1 Message Date
Peter Simons
aba9985ff9 melpa-packages.nix: unbreak "shm", which builds fine for me
Ping @mdorman
2017-11-22 14:55:38 +01:00
Michael Alan Dorman
5296f91ca2 melpa-packages: 2017-11-20
Removals:
 - omniref: removed from melpa
 - ox-latex-chinese: removed from melpa

Broken:
 - shm: missing dependencies
2017-11-20 17:34:07 -05:00
Michael Alan Dorman
68839b0dd7 melpa-stable-packages: 2017-11-20
Broken:
 - po-mode: missing file header
2017-11-20 17:33:45 -05:00
Michael Alan Dorman
b5ebb93e0c org-packages: 2017-11-20 2017-11-20 17:33:30 -05:00
Michael Alan Dorman
1b5252680d elpa-packages: 2017-11-20
Broken:
 - rcirc-menu: missing file header
2017-11-20 17:33:17 -05:00
Spencer Baugh
a558da3f7e melpaStablePackages.caml: don't run configure 2017-11-18 13:34:15 -05:00
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
Matthew Bauer
99c868c010 use https://github.com for all homepages
GitHub does a redirect to https:// when you use http://

repology complains with:

“Homepage link "https://github.com/…" is dead (HTTP error 404) for more than a month.”

This will fix some of them (not all though)
2017-08-17 14:53:40 -07:00
Michael Alan Dorman
879a5e0c6e melpa-package: 2017-08-14 2017-08-14 15:22:51 -04:00
Michael Alan Dorman
0f07fd95b5 melpa-stable-package: 2017-08-14 2017-08-14 15:22:51 -04:00
Michael Alan Dorman
d9a5cdecf6 org-package: 2017-08-14 2017-08-14 15:22:51 -04:00
Michael Alan Dorman
e8557ff74c elpa-package: 2017-08-14 2017-08-14 15:22:46 -04:00
Michael Alan Dorman
b43888b973 melpa-packages: 2017-08-09
Removals:
 - aurora-config-mode: removed from melpa
2017-08-09 17:16:43 -04:00
Michael Alan Dorman
d887748507 melpa-stable-packages: 2017-08-09
Removals:
 - aurora-config-mode: removed from melpa
 - fuel: repo moved, lost tags for stable version
2017-08-09 17:16:43 -04:00
Michael Alan Dorman
05bee41510 org-packages: 2017-08-09 2017-08-09 17:16:43 -04:00
Michael Alan Dorman
bdcb21c466 elpa-packages: 2017-08-09 2017-08-09 17:16:43 -04:00
Silvan Mosberger
f5fa5fa4d6 pkgs: refactor needless quoting of homepage meta attribute (#27809)
* pkgs: refactor needless quoting of homepage meta attribute

A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.

* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit

* Fixed some instances
2017-08-01 22:03:30 +02:00
Michael Alan Dorman
4a84b487fd melpa-packages: 2017-08-01
Removals:
 - anything-project: removed from melpa
 - chinese-pyim-basedict: renamed to pyim-basedict
 - chinese-pyim-greatdict: renamed to pyim-greatdict
 - elscreen-persist: removed from melpa
 - mic-paren: repository no longer exists
 - mpg123: removed from melpa
 - mwe-log-commands: repository no longer exists
 - revive: removed from melpa
 - sql-mssql: removed from melpa
2017-08-01 11:24:39 -04:00
Michael Alan Dorman
8be846ef7e melpa-stable-packages: 2017-08-01
Removals:
 - chinese-pyim-basedict: renamed to pyim-basedict
 - chinese-pyim-greatdict: renamed to pyim-greatdict
 - elscreen-persist: removed from melpa-stable
 - mic-paren: repository no longer exists
2017-08-01 11:24:39 -04:00
Michael Alan Dorman
4ea23a09d9 org-packages: 2017-08-01 2017-08-01 11:24:39 -04:00
Michael Alan Dorman
46c97397b7 elpa-packages: 2017-08-01 2017-08-01 11:24:39 -04:00
Michael Alan Dorman
6fcb5b708e melpa-packages: 2017-07-25
Removals:
 - bbdb-android: removed from github
 - bbdb-china: removed from github
 - bbdb-handy: removed from github
 - chinese-remote-input: removed from github
 - easy-lentic: removed from github
 - sql-mssql: removed from github
2017-07-25 20:42:52 -04:00
Michael Alan Dorman
e533918024 melpa-stable-packages: 2017-07-25 2017-07-25 20:42:51 -04:00
Michael Alan Dorman
187b67dd90 org-packages: 2017-07-25 2017-07-25 20:42:51 -04:00
Michael Alan Dorman
1ec964b327 elpa-packages: 2017-07-25 2017-07-25 20:42:51 -04:00
Michael Alan Dorman
58b269f959 melpa-packages: 2017-07-17 2017-07-17 12:09:33 -04:00
Michael Alan Dorman
b8213ab38f melpa-stable-packages: 2017-07-17 2017-07-17 12:09:31 -04:00
Michael Alan Dorman
5a48826ea4 org-packages: 2017-07-17 2017-07-17 12:09:28 -04:00
Michael Alan Dorman
960978fb68 elpa-packages: 2017-07-17 2017-07-17 12:09:26 -04:00
Michael Alan Dorman
49da250e9c melpa-packages: 2017-07-06
Removals:
 - gregorio-mode: repo no longer exists
2017-07-06 11:15:36 -04:00
Michael Alan Dorman
45d772288e melpa-stable-packages: 2017-07-06 2017-07-06 11:15:36 -04:00
Michael Alan Dorman
47bd753787 org-packages: 2017-07-06 2017-07-06 11:15:33 -04:00
Michael Alan Dorman
54f2ded821 elpa-packages: 2017-07-06 2017-07-06 11:15:30 -04:00
Michael Alan Dorman
37f381a970 melpa-packages: 2017-06-28
Removals:
 - relative-line-numbers: removed from melpa
2017-06-28 18:37:31 -04:00
Michael Alan Dorman
b2e148faa0 melpa-stable-packages: 2017-06-28
Removals:
 - relative-line-numbers: removed from melpa
2017-06-28 18:37:30 -04:00
Michael Alan Dorman
e636454c40 elpa-packages: 2017-06-28 2017-06-28 18:37:30 -04:00
Michael Alan Dorman
eea95af5d1 melpa-packages: 2017-06-23
Removals:
 - todochiku - Removed from melpa
2017-06-23 11:05:12 -04:00
Michael Alan Dorman
40e17794ce melpa-stable-packages: 2017-06-23 2017-06-23 11:05:12 -04:00
Michael Alan Dorman
a10c8a97b4 org-packages: 2017-06-23 2017-06-23 11:05:12 -04:00
Michael Alan Dorman
8a714e3bb6 elpa-packages: 2017-06-23 2017-06-23 11:05:11 -04:00
Michael Alan Dorman
97d750eac0 melpa-packages: 2017-06-12 2017-06-12 09:54:26 -04:00
Michael Alan Dorman
76082b63e8 melpa-stable-packages: 2017-06-12 2017-06-12 09:54:22 -04:00
Michael Alan Dorman
beb18e1350 org-packages: 2017-06-12 2017-06-12 09:54:17 -04:00
Michael Alan Dorman
0e532a3ede elpa-packages: 2017-06-12 2017-06-12 09:54:17 -04:00
Michael Alan Dorman
fdb3617888 melpa-packages: 2017-05-30 2017-05-30 15:56:33 -04:00
Michael Alan Dorman
60cc275ace melpa-stable-packages: 2017-05-30 2017-05-30 15:56:33 -04:00
Michael Alan Dorman
786388b85b elpa-packages: 2017-05-30 2017-05-30 15:56:33 -04:00
Joachim F
7596d21f69 Merge pull request #26102 from mdorman/emacs-updates
Automated emacs package updates
2017-05-26 12:15:35 +01:00
Michael Alan Dorman
33916338f3 melpa-packages: 2017-05-25
Removed:
 - metafmt: repository no longer on github
 - nikola: repository no longer accessible (SSL issues)
 - org-mac-iCal: repository no longer accessible
 - org-mac-link: repository no longer accessible
2017-05-25 17:25:29 -04:00
Michael Alan Dorman
688cfcb1ba melpa-stable-packages - 2017-05-25
Removals:
 - metafmt: repository no longer on github
 - org-mac-iCal: repository no longer accessible
2017-05-25 17:25:28 -04:00
Michael Alan Dorman
46689baa83 org-packages: 2017-05-25 2017-05-25 17:25:28 -04:00
Michael Alan Dorman
a310e6c27b elpa-packages: 2017-05-25 2017-05-25 17:25:28 -04:00
Valentin Robert
200d5c0c99 proofgeneral: revert needed deleted file 2017-05-25 12:51:04 -07:00
Joachim F
3ba63d0b05 Merge pull request #25905 from Ptival/proofgeneral-head
proofgeneral_HEAD: fix
2017-05-21 22:45:47 +01:00
Shea Levy
877f95f12b nix-buffer: 3.0.0 -> 3.0.1 2017-05-20 09:02:36 -04:00
Valentin Robert
eaef55f699 proofgeneral_HEAD: fix for files removed upstream 2017-05-18 16:43:38 -07:00
Thomas Tuegel
8b17444047 Merge pull request #25693 from mdorman/emacs-updates
Automated emacs package updates
2017-05-11 08:25:35 -05:00
Sophie Taylor
fb0410c208 proofgeneral: 2017-03-13 -> 2017-05-06 (#25695) 2017-05-11 07:36:00 +01:00
Michael Alan Dorman
291a00a502 melpa-packages: 2017-05-10 2017-05-10 19:46:11 -04:00
Michael Alan Dorman
580a4e6003 melpa-stable-packages: 2017-05-10 2017-05-10 19:46:11 -04:00
Michael Alan Dorman
ab663fee15 elpa-packages: 2017-05-10 2017-05-10 19:46:11 -04:00
Michael Alan Dorman
f8ff43190b org-packages: 2017-05-10 2017-05-10 19:46:11 -04:00
Thomas Tuegel
c8b4b44ec3
Revert "Merge pull request #25628 from mdorman/emacs-updates"
This reverts commit 80fc0a6f99, reversing
changes made to 50711091f8.

The updates were not properly generated.
2017-05-10 10:44:27 -05:00
Thomas Tuegel
80fc0a6f99 Merge pull request #25628 from mdorman/emacs-updates
Automated Emacs package updates
2017-05-09 09:21:59 -05:00
rht
31b0e34d1d
Use consistent package naming for HEAD.nix files 2017-05-09 10:31:15 +07:00
Michael Alan Dorman
b701e25235 melpa-packages: 2017-05-08 2017-05-08 18:14:16 -04:00
Michael Alan Dorman
15cdbff289 melpa-stable-packages: 2017-05-08 2017-05-08 18:14:16 -04:00
Michael Alan Dorman
82a9e75a71 elpa-packages: 2017-05-08 2017-05-08 18:14:16 -04:00
Michael Alan Dorman
4e69e4caeb org-packages: 2017-05-08 2017-05-08 18:14:16 -04:00
Thomas Tuegel
53f896eb41
melpa-packages: 2017-05-03
Adds explicit names for source files fetched from EmacsWiki, correcting an
outstanding bug.
2017-05-03 09:39:38 -05:00
Thomas Tuegel
d42aa83347
elpa-packages: 2017-05-03 2017-05-03 09:39:37 -05:00
Michael Alan Dorman
d91ac0080f melpa-packages: 2017-05-01 2017-05-01 12:48:45 -04:00
Michael Alan Dorman
9b40d73a67 melpa-stable-packages: 2017-05-01 2017-05-01 12:48:45 -04:00
Michael Alan Dorman
2ad6059187 elpa-packages: 2017-05-01 2017-05-01 12:48:45 -04:00
Michael Alan Dorman
71f18584ad melpa-packages: 2017-04-25
Removals:
 - exiftool: git repo not responsive
 - eyedropper: renamed to palette
2017-04-25 16:05:57 -04:00
Michael Alan Dorman
23175abd07 melpa-stable-packages: 2017-04-25 2017-04-25 16:05:57 -04:00
Michael Alan Dorman
b4707f2239 elpa-packages: 2017-04-25 2017-04-25 16:05:57 -04:00
Michael Alan Dorman
0e5d43d8f1 melpa-packages: 2017-04-17
Removals:
 - coati: renamed to sourcetrail
 - fuel: git repo not accessible
 - jade: renamed to indium
 - matrix-client: package removed from melpa
2017-04-17 18:41:30 -04:00
Michael Alan Dorman
607a72a2f1 melpa-stable-packages: 2017-04-17
Removals:
 - fuel: git repo not accessible
 - jade: renamed to indium
2017-04-17 18:41:29 -04:00
Michael Alan Dorman
efe2057ba0 elpa-packages: 2017-04-17 2017-04-17 18:41:29 -04:00
Michael Alan Dorman
5a5eea34cc melpa-packages: 2017-04-10
Removals:
 - dos: package removed from melpa
2017-04-10 19:20:07 -04:00
Michael Alan Dorman
f087fd3c70 melpa-stable-packages: 2017-04-10 2017-04-10 19:20:07 -04:00
Michael Alan Dorman
842417b4bc elpa-packages: 2017-04-10 2017-04-10 19:20:07 -04:00
Michael Alan Dorman
b49e3db19b melpa-packages: 2017-03-29 2017-03-30 07:26:14 -04:00
Michael Alan Dorman
f58c753ff3 melpa-stable-packages: 2017-03-29
Removals:
 - vimgolf - new repo lacks tags
2017-03-30 07:26:14 -04:00
Michael Alan Dorman
9a75c6234a elpa-packages: 2017-03-29 2017-03-30 07:26:14 -04:00
Vincent Laporte
09e814c681 proofgeneral_HEAD: Bump 2017-03-22 01:36:35 +00:00
Michael Alan Dorman
06795f757d melpa-packages: 2017-03-20 2017-03-21 07:01:57 -04:00
Michael Alan Dorman
2126246bff melpa-stable-packages: 2017-03-20 2017-03-21 07:01:57 -04:00
Michael Alan Dorman
b71b1b6e9a elpa-packages: 2017-03-20 2017-03-21 07:01:56 -04:00
Michael Alan Dorman
29559f6d7a melpa-packages: 2017-03-13 2017-03-13 15:00:27 -04:00
Michael Alan Dorman
2b1faaae9e melpa-stable-packages: 2017-03-13 2017-03-13 15:00:27 -04:00
Michael Alan Dorman
4433fc9089 elpa-package: 2017-03-13 2017-03-13 15:00:27 -04:00
Michael Alan Dorman
cc5bb40c1c melpa-packages: 2017-03-06 2017-03-06 16:18:14 -05:00
Michael Alan Dorman
192bc411b0 melpa-stable-packages: 2017-03-06 2017-03-06 16:18:14 -05:00
Michael Alan Dorman
5ff2a924c6 elpa-packages: 2017-03-06 2017-03-06 16:18:14 -05:00
Shea Levy
81db3f2b0b nix-buffer: 2.2.0 -> 2.3.0 2017-03-05 06:35:34 -05:00
Shea Levy
eaa4b5e216 nix-buffer: 2.1.0 -> 2.2.0 2017-03-04 13:47:40 -05:00
Thomas Tuegel
60d1915b61
melpa-stable-packages: 2017-03-01 2017-03-02 07:24:02 -06:00
Thomas Tuegel
00f28d74c9
melpa-packages: 2017-03-01 2017-03-02 07:23:49 -06:00
Thomas Tuegel
b955f27ad9
elpa-packages: 2017-03-01 2017-03-02 07:23:19 -06:00