This website requires JavaScript.
Explore
Help
Sign In
public
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
nixpkgs
/
nixos
/
doc
History
Robert Hensing
c914fffeba
Merge pull request
#95894
from alexarice/agda-release-notes
...
Agda: add release notes
2020-09-01 12:26:14 +02:00
..
manual
Merge pull request
#95894
from alexarice/agda-release-notes
2020-09-01 12:26:14 +02:00
varlistentry-fixer.rb
…
xmlformat.conf
…
