diff options
| author | Michał Wojdyła | 2024-02-07 11:20:26 +0100 |
|---|---|---|
| committer | Michał Wojdyła | 2024-02-07 11:20:26 +0100 |
| commit | 0ef2f3780c1346426eb4931fe74cfb092053d9cb (patch) | |
| tree | c7749f06c850842f29290e9a6a91175dd7d6321d /.SRCINFO | |
| parent | fc1dd0ed7b3522624ee172f763c940289c7e2d58 (diff) | |
| download | aur-0ef2f3780c1346426eb4931fe74cfb092053d9cb.tar.gz | |
git+https:// sources
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -10,6 +10,7 @@ pkgbase = emacs-idris-mode-git depends = emacs provides = emacs-idris-mode replaces = emacs-idris-mode + source = git+https://github.com/idris-hackers/idris-mode + b2sums = SKIP pkgname = emacs-idris-mode-git - |