[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/idris-mode 8b6f76da89 6/7: Merge remote-tracking branch 'o
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/idris-mode 8b6f76da89 6/7: Merge remote-tracking branch 'origin/main' into ide-messages |
|
Date: |
Wed, 5 Jan 2022 05:58:10 -0500 (EST) |
branch: elpa/idris-mode
commit 8b6f76da89d8c252ca6be4c05b96467847aece89
Merge: fce35c4349 7d834ebbf8
Author: Ohad Kammar <ohad.kammar@ed.ac.uk>
Commit: Ohad Kammar <ohad.kammar@ed.ac.uk>
Merge remote-tracking branch 'origin/main' into ide-messages
---
Makefile | 1 +
1 file changed, 1 insertion(+)
diff --git a/Makefile b/Makefile
index df16c3bc81..dc64d50660 100644
--- a/Makefile
+++ b/Makefile
@@ -71,6 +71,7 @@ getdeps:
((need-pkgs '($(NEED_PKGS))) \
(want-pkgs (seq-remove #'package-installed-p need-pkgs))) \
(unless (null want-pkgs) \
+ (package-initialize) \
(package-refresh-contents) \
(mapcar #'package-install want-pkgs)))"
- [nongnu] elpa/idris-mode updated (2e4b5c6a97 -> edc2f60c75), ELPA Syncer, 2022/01/05
- [nongnu] elpa/idris-mode e3d1266db6 2/7: Fix more 'bounds' to spec in newer IDE protocols, ELPA Syncer, 2022/01/05
- [nongnu] elpa/idris-mode 8b6f76da89 6/7: Merge remote-tracking branch 'origin/main' into ide-messages,
ELPA Syncer <=
- [nongnu] elpa/idris-mode d9aa6cb9d5 4/7: [ CI ] When refreshing package contexts need to intialise in batch mode., ELPA Syncer, 2022/01/05
- [nongnu] elpa/idris-mode 7d834ebbf8 5/7: Merge pull request #548 from jfdm/fix-emacs-testing, ELPA Syncer, 2022/01/05
- [nongnu] elpa/idris-mode 8d69b70432 1/7: Update semantic highlighting code in line with the update IDE protocol, ELPA Syncer, 2022/01/05
- [nongnu] elpa/idris-mode edc2f60c75 7/7: Merge pull request #547 from ohad/ide-messages, ELPA Syncer, 2022/01/05
- [nongnu] elpa/idris-mode fce35c4349 3/7: Move idris-protocol-version vars and access function to common-utils, ELPA Syncer, 2022/01/05