alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
nixpkgs/pkgs/development/libraries/haskell/Agda/default.nix

24 lines
752 B
Nix
Raw Normal View History

Re-generated Haskell package descriptions with the latest version of cabal2nix. svn path=/nixpkgs/trunk/; revision=32327
2012-02-16 14:05:41 +00:00
{ cabal, alex, binary, filepath, happy, hashable, hashtables
Regenerated all Haskell packages with the latest version of cabal2nix. svn path=/nixpkgs/trunk/; revision=32292
2012-02-14 17:00:37 +00:00
, haskeline, haskellSrcExts, mtl, QuickCheck, syb, xhtml, zlib
Updated (almost) all Haskell package expressions with cabal2nix. The new files ... * conform to the coding guidelines, * consistently specify meta.maintainers and meta.platforms, * have proper descriptions and licenses as specified in their Cabal file, and * take advantage of the new cabal.nix extensions, i.e. proper distinction between buildInputs and propagatedBuildInputs. Furthermore, the following updates were performed: * haskell-Ranged-sets: updated to version 0.3.0 * haskell-Shellac-haskeline: updated to version 0.2.0.1 * haskell-cpphs: updated to version 1.12 * haskell-hslogger: updated to version 1.1.5 * haskell-xml: updated to version 1.3.9 * haskell-HDBC-postgresql: updated to version 2.3.2.0 * haskell-HDBC-sqlite3: updated to version 2.3.3.0 * haskell-HDBC: updated to version 2.3.1.0 * haskell-base-unicode-symbols: updated to version 0.2.2.1 * haskell-convertible: updated to version 1.0.11.0 * haskell-monad-control: updated to version 0.2.0.2 * haskell-murmur-hash: updated to version 0.1.0.4 * haskell-repa: updated to version 2.1.1.3 * haskell-statistics: updated to version 0.9.0.0 * haskell-ansi-terminal: updated to version 0.5.5 haskell-maybench was dropped, because it cannot be built with recent versions of Cabal: Configuring maybench-0.2.4.1... Setup: At least the following dependencies are missing: Cabal >=1.2 && <1.5 svn path=/nixpkgs/trunk/; revision=28446
2011-08-10 00:00:20 +01:00
}:
* Fixed external library dependencies for some Haskell-Platform packages. * Added Agda plus dependencies. svn path=/nixpkgs/trunk/; revision=15227
2009-04-21 22:05:30 +01:00
Updated (almost) all Haskell package expressions with cabal2nix. The new files ... * conform to the coding guidelines, * consistently specify meta.maintainers and meta.platforms, * have proper descriptions and licenses as specified in their Cabal file, and * take advantage of the new cabal.nix extensions, i.e. proper distinction between buildInputs and propagatedBuildInputs. Furthermore, the following updates were performed: * haskell-Ranged-sets: updated to version 0.3.0 * haskell-Shellac-haskeline: updated to version 0.2.0.1 * haskell-cpphs: updated to version 1.12 * haskell-hslogger: updated to version 1.1.5 * haskell-xml: updated to version 1.3.9 * haskell-HDBC-postgresql: updated to version 2.3.2.0 * haskell-HDBC-sqlite3: updated to version 2.3.3.0 * haskell-HDBC: updated to version 2.3.1.0 * haskell-base-unicode-symbols: updated to version 0.2.2.1 * haskell-convertible: updated to version 1.0.11.0 * haskell-monad-control: updated to version 0.2.0.2 * haskell-murmur-hash: updated to version 0.1.0.4 * haskell-repa: updated to version 2.1.1.3 * haskell-statistics: updated to version 0.9.0.0 * haskell-ansi-terminal: updated to version 0.5.5 haskell-maybench was dropped, because it cannot be built with recent versions of Cabal: Configuring maybench-0.2.4.1... Setup: At least the following dependencies are missing: Cabal >=1.2 && <1.5 svn path=/nixpkgs/trunk/; revision=28446
2011-08-10 00:00:20 +01:00
cabal.mkDerivation (self: {
* Fixed external library dependencies for some Haskell-Platform packages. * Added Agda plus dependencies. svn path=/nixpkgs/trunk/; revision=15227
2009-04-21 22:05:30 +01:00
pname = "Agda";
Updating Haskell packages. - Agda-executable: updated to version 2.3.0.1 - Agda: updated to version 2.3.0.1 - gio: added version 0.12.3 - hamlet: updated to version 0.10.9.1 - leksah-server: updated to version 0.12.0.4 - leksah: updated to version 0.12.0.3 - ltk: updated to version 0.12.0.0 - packages.nix: cosmetic change - pandoc: updated to version 1.9.1.2 - polyparse: added version 1.8 - shakespeare-css: updated to version 0.10.8 - shakespeare-i18n: updated to version 0.0.2.1 - shakespeare-js: updated to version 0.11.2 - shakespeare-text: updated to version 0.11 - shakespeare: updated to version 0.11 - tls: updated to version 0.9.1 - unordered-containers: updated to version 0.2.0.1 - uuagc: updated to version 0.9.40.3 - yesod-core: updated to version 0.10.2.2 - yesod-form: updated to version 0.4.2.1 - yesod: updated to version 0.10.1.4 svn path=/nixpkgs/trunk/; revision=33015
2012-03-12 14:06:18 +00:00
version = "2.3.0.1";
sha256 = "0f2kc3by2z01g8bqc446hyzx9sidx6qi0p7h5bcpjf8iryk1dh2w";
Updated (almost) all Haskell package expressions with cabal2nix. The new files ... * conform to the coding guidelines, * consistently specify meta.maintainers and meta.platforms, * have proper descriptions and licenses as specified in their Cabal file, and * take advantage of the new cabal.nix extensions, i.e. proper distinction between buildInputs and propagatedBuildInputs. Furthermore, the following updates were performed: * haskell-Ranged-sets: updated to version 0.3.0 * haskell-Shellac-haskeline: updated to version 0.2.0.1 * haskell-cpphs: updated to version 1.12 * haskell-hslogger: updated to version 1.1.5 * haskell-xml: updated to version 1.3.9 * haskell-HDBC-postgresql: updated to version 2.3.2.0 * haskell-HDBC-sqlite3: updated to version 2.3.3.0 * haskell-HDBC: updated to version 2.3.1.0 * haskell-base-unicode-symbols: updated to version 0.2.2.1 * haskell-convertible: updated to version 1.0.11.0 * haskell-monad-control: updated to version 0.2.0.2 * haskell-murmur-hash: updated to version 0.1.0.4 * haskell-repa: updated to version 2.1.1.3 * haskell-statistics: updated to version 0.9.0.0 * haskell-ansi-terminal: updated to version 0.5.5 haskell-maybench was dropped, because it cannot be built with recent versions of Cabal: Configuring maybench-0.2.4.1... Setup: At least the following dependencies are missing: Cabal >=1.2 && <1.5 svn path=/nixpkgs/trunk/; revision=28446
2011-08-10 00:00:20 +01:00
isLibrary = true;
isExecutable = true;
buildDepends = [
Re-generated Haskell package descriptions with the latest version of cabal2nix. svn path=/nixpkgs/trunk/; revision=32327
2012-02-16 14:05:41 +00:00
binary filepath hashable hashtables haskeline haskellSrcExts mtl
QuickCheck syb xhtml zlib
Updated (almost) all Haskell package expressions with cabal2nix. The new files ... * conform to the coding guidelines, * consistently specify meta.maintainers and meta.platforms, * have proper descriptions and licenses as specified in their Cabal file, and * take advantage of the new cabal.nix extensions, i.e. proper distinction between buildInputs and propagatedBuildInputs. Furthermore, the following updates were performed: * haskell-Ranged-sets: updated to version 0.3.0 * haskell-Shellac-haskeline: updated to version 0.2.0.1 * haskell-cpphs: updated to version 1.12 * haskell-hslogger: updated to version 1.1.5 * haskell-xml: updated to version 1.3.9 * haskell-HDBC-postgresql: updated to version 2.3.2.0 * haskell-HDBC-sqlite3: updated to version 2.3.3.0 * haskell-HDBC: updated to version 2.3.1.0 * haskell-base-unicode-symbols: updated to version 0.2.2.1 * haskell-convertible: updated to version 1.0.11.0 * haskell-monad-control: updated to version 0.2.0.2 * haskell-murmur-hash: updated to version 0.1.0.4 * haskell-repa: updated to version 2.1.1.3 * haskell-statistics: updated to version 0.9.0.0 * haskell-ansi-terminal: updated to version 0.5.5 haskell-maybench was dropped, because it cannot be built with recent versions of Cabal: Configuring maybench-0.2.4.1... Setup: At least the following dependencies are missing: Cabal >=1.2 && <1.5 svn path=/nixpkgs/trunk/; revision=28446
2011-08-10 00:00:20 +01:00
];
buildTools = [ alex happy ];
* Fixed external library dependencies for some Haskell-Platform packages. * Added Agda plus dependencies. svn path=/nixpkgs/trunk/; revision=15227
2009-04-21 22:05:30 +01:00
meta = {
Updated (almost) all Haskell package expressions with cabal2nix. The new files ... * conform to the coding guidelines, * consistently specify meta.maintainers and meta.platforms, * have proper descriptions and licenses as specified in their Cabal file, and * take advantage of the new cabal.nix extensions, i.e. proper distinction between buildInputs and propagatedBuildInputs. Furthermore, the following updates were performed: * haskell-Ranged-sets: updated to version 0.3.0 * haskell-Shellac-haskeline: updated to version 0.2.0.1 * haskell-cpphs: updated to version 1.12 * haskell-hslogger: updated to version 1.1.5 * haskell-xml: updated to version 1.3.9 * haskell-HDBC-postgresql: updated to version 2.3.2.0 * haskell-HDBC-sqlite3: updated to version 2.3.3.0 * haskell-HDBC: updated to version 2.3.1.0 * haskell-base-unicode-symbols: updated to version 0.2.2.1 * haskell-convertible: updated to version 1.0.11.0 * haskell-monad-control: updated to version 0.2.0.2 * haskell-murmur-hash: updated to version 0.1.0.4 * haskell-repa: updated to version 2.1.1.3 * haskell-statistics: updated to version 0.9.0.0 * haskell-ansi-terminal: updated to version 0.5.5 haskell-maybench was dropped, because it cannot be built with recent versions of Cabal: Configuring maybench-0.2.4.1... Setup: At least the following dependencies are missing: Cabal >=1.2 && <1.5 svn path=/nixpkgs/trunk/; revision=28446
2011-08-10 00:00:20 +01:00
homepage = "http://wiki.portal.chalmers.se/agda/";
description = "A dependently typed functional programming language and proof assistant";
license = "unknown";
platforms = self.ghc.meta.platforms;
Removed myself as a maintainer from Haskell packages that I don't personally use. By now, it happened twice that a commit broke GHC and thus all Haskell packages we have in Nixpkgs. On such an occasion, I receive well in excess of 3000 notification e-mails from Hydra, and then I receive another 3000 e-mails after the bug has been fixed. Under these circumstances, subscribing to these notifications makes no sense for me. svn path=/nixpkgs/trunk/; revision=33392
2012-03-24 10:21:28 +00:00
maintainers = [ self.stdenv.lib.maintainers.andres ];
* Fixed external library dependencies for some Haskell-Platform packages. * Added Agda plus dependencies. svn path=/nixpkgs/trunk/; revision=15227
2009-04-21 22:05:30 +01:00
};
Removing trailing whitespace. svn path=/nixpkgs/trunk/; revision=26570
2011-03-28 16:04:00 +01:00
})
Copy permalink