@@ -277,7 +277,7 @@ Extra-source-files:
278source-repository head
278source-repository head
279 type: git
279 type: git
280− location: git://github.com/edwinb/Idris-dev.git
280+ location: git://github.com/idris-lang/Idris-dev.git
282Flag Effects
282Flag Effects
283 Description: Build the effects package
283 Description: Build the effects package
@@ -289,7 +289,7 @@ Flag LLVM
289 manual: True
289 manual: True
292− Description: Build support for libffi
292+ Description: Build support for libffi
293 Default: False
293 Default: False
294 manual: True
294 manual: True