mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-23 05:53:12 -04:00
Code Issues Packages Projects Releases Wiki Activity

app-emacs/idris-mode: Init at 1.0

Browse Source 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Matt Smith <matt@offtopica.uk>
This commit is contained in:
Matt Smith
2021-06-20 11:43:14 +01:00
parent 17e7d2f34e
commit 3a4a28fe33
5 changed files with 78 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
app-emacs/idris-mode/metadata.xml Normal file
View File

@@ -0,0 +1,22 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<maintainer type="person">
<email>matt@offtopica.uk</email>
<name>Matt Smith</name>
</maintainer>
<longdescription lang="en">
This is an emacs mode for editing Idris code.
This mode was original designed to work with version 1 of the
language through an IDE-Protocol. Idris2 uses the next iteration
of the same protocol. Idris-mode tries to maintain compatibility
with both protocol versions, however, not all the features from
the IDE-Protocol have been realised in Idris2. When using
idris-mode with Idris2 your experience might be a bit clunky.
</longdescription>
<upstream>
<remote-id type="github">idris-hackers/idris-mode</remote-id>
</upstream>
<stabilize-allarches/>
</pkgmetadata>