mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-29 17:10:48 +00:00
Code Issues Wiki Activity
55847 commits 256 branches 124 tags 5.2 GiB
Commit graph

1 commit

Author SHA1 Message Date
Mateusz Kowalczyk 37900c35c3 agda: add bitvector 2014-09-11 20:35:56 +01:00