mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-22 14:45:27 +00:00
Code Issues Wiki Activity
208635 commits 171 branches 125 tags 11 GiB
Commit graph

4 commits

Author SHA1 Message Date
Marco Maggesi ff1ed720e2 Rename z77z into maggesi 
Make the "handle" of the maintainer match the name of the github account.
Also update the email address.
 2019-10-07 17:05:25 +02:00
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