This website requires JavaScript.
Explore
Help
Sign in
cafkafk
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
2
657d81a4c3
nixpkgs
/
pkgs
/
development
/
interpreters
/
maude
History
Peter Simons
05620d62dc
maude: update from version 2.7.1 to 3.0 (including full-maude)
2020-01-31 16:25:40 +01:00
..
default.nix
maude: update from version 2.7.1 to 3.0 (including full-maude)
2020-01-31 16:25:40 +01:00