rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

note emacs-agda interactive environment in description

This commit is contained in:
Jens Petersen 2012-07-15 16:30:33 +09:00
parent 1567c74efa
commit 7d0ed70eb3
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Agda.spec
View File

@ -24,6 +24,8 @@ This package provides a command-line program for type-checking and
compiling Agda programs. The program can also generate hyperlinked, compiling Agda programs. The program can also generate hyperlinked,
highlighted HTML files from Agda sources. highlighted HTML files from Agda sources.
For the interactive environment please install emacs-agda instead.
%prep %prep
%setup -q -n %{pkg_name}-%{version} %setup -q -n %{pkg_name}-%{version}