public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

mcrl2: 2009.01 -> 2014.09

Browse Source
This commit is contained in:
Maarten Hoogendoorn
2016-04-12 12:12:46 +02:00
parent dddb62d3e3
commit ec098aad41
4 changed files with 34 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
lib/maintainers.nix
View File

@@ -233,6 +233,7 @@
mirdhyn = "Merlin Gaillard <mirdhyn@gmail.com>";
modulistic = "Pablo Costa <modulistic@gmail.com>";
mog = "Matthew O'Gorman <mog-lists@rldn.net>";
moretea = "Maarten Hoogendoorn <maarten@moretea.nl>";
mornfall = "Petr Ročkai <me@mornfall.net>";
MP2E = "Cray Elliott <MP2E@archlinux.us>";
msackman = "Matthew Sackman <matthew@wellquite.org>";