index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
compilers
/
polyml
Commit message (
Expand
)
Author
Age
*
polyml: updated maintainers
Kovacsics Robert
2020-03-02
*
polyml: fix with new libffi
Kovacsics Robert
2020-03-02
*
Rename z77z into maggesi
Marco Maggesi
2019-10-07
*
treewide: name -> pname
volth
2019-08-17
*
treewide: name -> pname (easy cases) (#66585)
volth
2019-08-15
*
Use Poly/ML 5.7 for Isabelle
Vaibhav Sagar
2019-03-27
*
polyml: 5.7.1 -> 5.8
Vaibhav Sagar
2019-03-27
*
treewide: http -> https
Ryan Mulligan
2018-06-29
*
polyml: 5.7 -> 5.7.1
Ryan Mulligan
2018-03-29
*
isabelle: use polyml 5.6
Gabriel Ebner
2017-08-07
*
polyml: autoreconfHook -> nativeBuildInputs
Eric Bailey
2017-06-18
*
polyml: enable libffi and gmp
Eric Bailey
2017-06-18
*
polyml: 5.6 -> 5.7
Eric Bailey
2017-06-17
*
polyml: 5.5.2 -> 5.6
Gabriel Ebner
2016-02-23
*
darwin purity: polyml
Jude Taylor
2015-10-31
*
isabelle: Version 2014 building on Linux and Darwin
John Wiegley
2014-09-30
*
PolyML expression: Factorize version number in a separate variable
Marco Maggesi
2014-01-15
*
Update PolyML to version 5.5.1
Marco Maggesi
2014-01-14
*
polyml: fix bogus license attribute
Peter Simons
2012-09-06
*
Upgrade PolyML to version 5.4.1
Marco Maggesi
2012-09-04
*
Update PolyML to version 5.4
Marco Maggesi
2011-05-13
*
Add expression for PolyML
Marco Maggesi
2009-12-10