about summary refs log tree commit diff
path: root/nixpkgs/pkgs/build-support/coq
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'nixpkgs/nixos-unstable'Alyssa Ross2021-04-12
* nixpkgs: merge nixos-unstableAlyssa Ross2021-02-16
* Merge commit '891f607d5301d6730cb1f9dcf3618bcb1ab7f10e'Alyssa Ross2021-01-26