| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | isabelle: use polyml 5.6•••Isabelle 2016 does not work with newer PolyML versions. | Gabriel Ebner | 2017-08-07 | 1 | -0/+33 |
| * | polyml: autoreconfHook -> nativeBuildInputs•••Thanks, @peterhoeg. | Eric Bailey | 2017-06-18 | 1 | -2/+3 |
| * | polyml: enable libffi and gmp•••Thanks, @Mic92. | Eric Bailey | 2017-06-18 | 1 | -2/+9 |
| * | polyml: 5.6 -> 5.7•••- fetchurl -> fetchFromGitHub - use `with stdenv.lib` in meta - add darwin to platforms - add yurrriq to maintainers | Eric Bailey | 2017-06-17 | 1 | -15/+12 |
| * | polyml: 5.5.2 -> 5.6 | Gabriel Ebner | 2016-02-23 | 1 | -2/+2 |
| * | darwin purity: polyml | Jude Taylor | 2015-10-31 | 1 | -1/+7 |
| * | isabelle: Version 2014 building on Linux and Darwin | John Wiegley | 2014-09-30 | 1 | -2/+2 |
| * | PolyML expression: Factorize version number in a separate variable | Marco Maggesi | 2014-01-15 | 1 | -2/+6 |
| * | Update PolyML to version 5.5.1 | Marco Maggesi | 2014-01-14 | 1 | -7/+3 |
| * | polyml: fix bogus license attribute | Peter Simons | 2012-09-06 | 1 | -1/+1 |
| * | Upgrade PolyML to version 5.4.1 | Marco Maggesi | 2012-09-04 | 1 | -6/+5 |
| * | Update PolyML to version 5.4•••Also enable hydra build for linux svn path=/nixpkgs/trunk/; revision=27250 | Marco Maggesi | 2011-05-13 | 1 | -2/+6 |
| * | Add expression for PolyML•••svn path=/nixpkgs/trunk/; revision=18875 | Marco Maggesi | 2009-12-10 | 1 | -0/+24 |
 |
index : nixos/nixpkgs | |
| Unnamed repository; edit this file 'description' to name the repository. | Oleg Pykhalov |
| summaryrefslogtreecommitdiff |