>From c5b248411c3081c7f17d4013f9f7e29e0e34fd04 Mon Sep 17 00:00:00 2001
From: Philip Kaludercic <philipk@posteo.net>
Date: Fri, 27 Aug 2021 15:56:20 +0200
Subject: [PATCH 08/20] * elpa-packages (idris-mode): Add package

---
 elpa-packages | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/elpa-packages b/elpa-packages
index 251bf2d5d6b..84fa4fa34ac 100644
--- a/elpa-packages
+++ b/elpa-packages
@@ -101,6 +101,10 @@
   :ignored-files ("htmlize.el.html")
   :release-branch "stable")
 
+ ("idris-mode"		:url "https://github.com/idris-hackers/idris-mode"
+  :ignored-files ("test-data" "Makefile" "documentation.tex" "logo-small.png"
+		  "idris-tests*.el"))
+
  ("inf-clojure"		:url "https://github.com/clojure-emacs/inf-clojure"
   :ignored-files ("test")
   :news "CHANGELOG.md")
@@ -167,6 +171,9 @@
   :news "CHANGES"
   :doc "doc/ProofGeneral.texi")
 
+ ("prop-menu"		:url "https://github.com/david-christiansen/prop-menu-el"
+  :ignored-files ("Makefile" "prop-menu-tests.el"))
+
  ("request"		:url "https://github.com/tkf/emacs-request"
   :ignored-files ("tests" "doc" "COPYING"))
 
-- 
2.30.2