about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/coq-modules/QuickChick
Commit message (Expand)AuthorAge
* Merge commit '84d74ae9c9cbed73274b8e4e00be14688ffc93fe'Alyssa Ross2021-01-12
* Merge commit '22a3bf9fb9edad917fb6cd1066d58b5e426ee975'Alyssa Ross2020-04-27
* Merge commit 'a2e06fc3423c4be53181b15c28dfbe0bcf67dd73'Alyssa Ross2020-04-01
* Merge commit 'e19054ab3cd5b7cc9a01d0efc71c8fe310541065'Alyssa Ross2019-09-16
* Merge commit 'a1dd419c1ffacea87eba066a2bb332e03cb68f66'Alyssa Ross2019-06-18
* Merge commit '373488e6f4c3dc3bb51cabcb959e4a70eb5d7b2c'Alyssa Ross2019-04-13
* Merge commit '2d2f10475138b7206572dc3ec288184df2be022e'Alyssa Ross2019-02-07
* Add 'nixpkgs/' from commit 'abf060725d7614bd3b9f96764262dfbc2f9c2199'Alyssa Ross2019-01-07