swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-10-01 09:30:20 +02:00
Code Issues Packages Projects Releases Wiki Activity
205951 commits 5 branches 0 tags 31 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