This website requires JavaScript.
Explore
Help
Sign In
Dawoox
/
nixpkgs
Watch
1
Star
1
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
2
Packages
Projects
Releases
Wiki
Activity
Files
ea22df581b684bd4300a75ba527e54209aaedd56
nixpkgs
/
pkgs
/
development
/
interpreters
/
maude
History
Peter Simons
f1328839d4
maudeUnstable: updated full-maude to latest alpha release
...
svn path=/nixpkgs/trunk/; revision=13017
2008-10-09 10:10:49 +00:00
..
default.nix
Cosmetic, no functional change intended.
2008-07-18 20:11:25 +00:00
unstable.nix
maudeUnstable: updated full-maude to latest alpha release
2008-10-09 10:10:49 +00:00