This website requires JavaScript.
Explore
Help
Sign In
dev
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
2
Packages
Projects
Releases
Wiki
Activity
198,138
Commits
3
Branches
0
Tags
4.3
GiB
ea8cb3a8a5
Commit Graph
3 Commits
Author
SHA1
Message
Date
volth
c814d72b51
treewide: name -> pname
2019-08-17 10:54:38 +00:00
Ryan Mulligan
1d54dc6841
treewide: http -> https
2018-06-29 17:18:27 -07:00
Gabriel Ebner
795c003359
isabelle: use polyml 5.6
...
Isabelle 2016 does not work with newer PolyML versions.
2017-08-07 17:21:08 +02:00