index
:
nixos/nixpkgs.git
master
nixos-16.03
nixos-16.09
nixos-18.09
nixos-18.09-small
nixos-19.03
nixos-19.03-small
nixos-19.09
nixos-19.09-small
nixos-20.03
nixos-20.03-small
nixos-20.09
nixos-20.09-aarch64
nixos-20.09-small
nixos-21.05
nixos-21.05-aarch64
nixos-21.05-small
nixos-21.11
nixos-21.11-aarch64
nixos-21.11-small
nixos-22.05
nixos-22.05-aarch64
nixos-22.05-small
nixos-22.11
nixos-22.11-small
nixos-23.05
nixos-23.05-small
nixos-23.11
nixos-23.11-small
nixos-24.05
nixos-24.05-small
nixos-24.11
nixos-24.11-small
nixos-25.05
nixos-25.05-small
nixos-25.11
nixos-25.11-small
nixos-test-staging
nixos-test-staging-baseline
nixos-unstable
nixos-unstable-small
nixpkgs-stable
nixpkgs-testing
nixpkgs-unstable
release-13.10
release-14.04
release-14.12
release-15.09
release-16.03
release-16.09
release-17.03
release-17.09
release-18.03
release-18.09
release-18.09-firefox64
release-19.03
release-19.09
release-20.03
release-20.09
release-21.05
release-21.11
release-22.05
release-22.11
release-23.05
release-23.11
release-24.05
release-24.11
release-25.05
release-25.11
staging
staging-18.03
staging-18.09
staging-19.03
staging-19.09
staging-20.03
staging-20.09
staging-21.05
staging-21.11
staging-22.05
staging-22.11
staging-23.05
staging-23.11
staging-24.05
staging-24.11
staging-25.05
staging-25.11
staging-26.05
staging-next
staging-next-21.05
staging-next-21.11
staging-next-22.05
staging-next-22.11
staging-next-23.05
staging-next-23.11
staging-next-24.05
staging-next-24.11
staging-next-25.05
staging-next-25.11
staging-next-26.05
staging-next-xdg-desktop-portal-gnome-dependency
staging-nixos
staging-patchelf
staging-python
staging.patchShebangs
Nix Packages collection
Octavian Cerna
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
/
TypedExtraction
Mode
Name
Size
-rw-r--r--
default.nix
3006
log
plain
