mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-11 07:04:28 +00:00
Code Issues Wiki Activity
94018 commits 192 branches 125 tags 8.1 GiB
Commit graph

9 commits

Author SHA1 Message Date
Gabriel Ebner 151fd89ba0 polyml: 5.5.2 -> 5.6 2016-02-23 14:19:04 +01:00
Jude Taylor 020bd4a723 darwin purity: polyml 2015-10-31 16:58:32 -07:00
John Wiegley 10e215a3ae isabelle: Version 2014 building on Linux and Darwin 2014-09-30 23:15:31 -05:00
Marco Maggesi e9e2e8ace6 PolyML expression: Factorize version number in a separate variable 2014-01-15 15:58:27 +01:00
Marco Maggesi aa8f36e238 Update PolyML to version 5.5.1 2014-01-14 15:27:10 +01:00
Peter Simons ef649da119 polyml: fix bogus license attribute 2012-09-06 18:46:54 +02:00
Marco Maggesi 264c528154 Upgrade PolyML to version 5.4.1 2012-09-04 12:02:18 +02:00
Marco Maggesi bdace03143 Update PolyML to version 5.4 
Also enable hydra build for linux

svn path=/nixpkgs/trunk/; revision=27250
 2011-05-13 15:55:05 +00:00
Marco Maggesi adbaa14548 Add expression for PolyML 
svn path=/nixpkgs/trunk/; revision=18875
 2009-12-10 13:16:06 +00:00