rpms/Agda-stdlib
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add upstream issue link

Browse source
This commit is contained in:
Jens Petersen 2019-08-20 22:26:46 +02:00
commit ed74755a2e
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Agda-stdlib.spec
View file

@ -41,6 +41,7 @@ dist/build/GenerateEverything/GenerateEverything
# AGDA_DIR is just to ignore ~/.agda/ defaults
# In 2.6.1 --no-libraries should work for this instead
# https://github.com/agda/agda/issues/4000
export AGDA_DIR=$PWD
agda -i. -isrc Everything.agda