nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-11 06:34:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
cceb5bcf80
nixpkgs/pkgs/development/libraries/tecla
History
Peter Simons 8d7fe32a0e maude, tecla, buddy: new packages 
Maude is a high-level specification language. Buddy and libtecla are required
to build Maude.

svn path=/nixpkgs/trunk/; revision=12358
2008-07-15 09:58:30 +00:00
..
default.nix maude, tecla, buddy: new packages 2008-07-15 09:58:30 +00:00