Package Details: idris 0.9.20.2-1

Git Clone URL: https://aur.archlinux.org/idris.git (read-only)
Package Base: idris
Description: Functional Programming Language with Dependent Types
Upstream URL: http://www.idris-lang.org/
Licenses: custom:BSD3
Conflicts: idris-git
Provides: idris
Submitter: pdxleif
Maintainer: None
Last Packager: pdxleif
Votes: 0
Popularity: 0.000000
First Submitted: 2015-08-26 23:42
Last Updated: 2015-12-24 00:17

Latest Comments

Rufflewind commented on 2016-05-04 08:40

No idea how I somehow became maintainer for this package. Filed a deletion request and disowned.

Alad commented on 2016-05-02 17:31

Someone adopted the package, rather than request it for deletion as it's in the repos? Nice.

pdxleif commented on 2016-03-06 05:00

Disowning; this package is now in [community].

flarkis commented on 2016-01-17 20:07

I needed to add a `cabal update` into the script to get the build to run, otherwise dep resolution failed.

pdxleif commented on 2015-12-24 00:17

Good catch, thanks - updated the deps step with those flags.

Rufflewind commented on 2015-11-28 21:07

'-fFFI' and '-fGMP' should be added to 'cabal install --only-dependencies …', otherwise it will fail to pick up 'libffi'.

pdxleif commented on 2015-11-21 00:49

Good catch - pushed updates fixing the man page and makedepends.

dknn commented on 2015-11-20 18:12

Also, the man page installation command seems to be broken: the file ${pkgdir}/usr/share/doc/${pkgname}/html/man/${pkgname}.1 does not exist.

dknn commented on 2015-11-20 17:56

There is a typo in the PKGBUILD causing the dependencies to not be checked: "makedpends"

pdxleif commented on 2015-09-02 01:07

Pre-built binaries of this package for x64 available on https://github.com/LeifW/Idris-dev/releases