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
bb0e55c238166fff44ffca749303aa2bbdfa67a5
nixpkgs
/
pkgs
/
development
/
interpreters
/
acl2
History
Michael Raskin
e70276079f
Add myself as a maintainer
...
svn path=/nixpkgs/trunk/; revision=19594
2010-01-21 10:07:25 +00:00
..
default.nix
…