Codebase list coq / 3873b644-8132-4aeb-8923-3e8c3d0f286f/main dev / nixpkgs.nix
3873b644-8132-4aeb-8923-3e8c3d0f286f/main

Tree @3873b644-8132-4aeb-8923-3e8c3d0f286f/main (Download .tar.gz)

nixpkgs.nix @3873b644-8132-4aeb-8923-3e8c3d0f286f/main — raw · history · blame 

1
2
3
4
import (fetchTarball {
  url = "https://github.com/NixOS/nixpkgs/archive/807ca93fadd5197c2260490de0c76e500562dc05.tar.gz";
  sha256 = "10yq8bnls77fh3pk5chkkb1sv5lbdgyk1rr2v9xn71rr1k2x563p";
})