about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/coq-modules/ltac2
Commit message (Expand)AuthorAge
* Merge commit 'e4134747f5666bcab8680aff67fa3b63384f9a0f'Alyssa Ross2020-01-11
* Merge commit 'e19054ab3cd5b7cc9a01d0efc71c8fe310541065'Alyssa Ross2019-09-16
* Merge commit '98e3b90b6c8f400ae5438ef868eb992a64b75ce5'Alyssa Ross2019-06-18