MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-16 23:03:40 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
nixpkgs/nixos/doc
History
Théo Zimmermann 0daa4b200c
Merge pull request #189721 from Zimmi48/changelog-for-coqide-split 
coq: document CoqIDE split
2022-09-05 10:37:23 +02:00
..
manual Merge pull request #189721 from Zimmi48/changelog-for-coqide-split 2022-09-05 10:37:23 +02:00
varlistentry-fixer.rb
xmlformat.conf