minor cleanup; switch to idris-lang github url
commit0927e78212fe416031ae314a7971873d6cc2dbba
authorHannes Mehnert <hannes@mehnert.org>
dateTue 19 Nov 2013, 12:14 (13 years ago)
parent98e8963
idris.cabal+2−2
@@ -277,7 +277,7 @@ Extra-source-files:
277277
278278source-repository head
279279 type: git
280− location: git://github.com/edwinb/Idris-dev.git
280+ location: git://github.com/idris-lang/Idris-dev.git
281281
282282Flag Effects
283283 Description: Build the effects package
@@ -289,7 +289,7 @@ Flag LLVM
289289 manual: True
290290
291291Flag FFI
292− Description: Build support for libffi
292+ Description: Build support for libffi
293293 Default: False
294294 manual: True
295295