diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-03-15 14:12:42 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-03-18 09:52:01 +0100 |
| commit | 2923bd5d0669f1ec6ab03ddce052e9c5efb46d8f (patch) | |
| tree | aa8e03228ffe544da0fee19a9b0daccd3837e2c3 /pkgs/development/python-modules/pkgconfig/executable.patch | |
| parent | ff43f0a7b51a21b06086cfc91de1c81512cfa0e1 (diff) | |
coqPackages.coq-simple-io: 0.2 -> 1.0.0
coqPackages.QuickChick: 1.0.2 -> 20190311
Diffstat (limited to 'pkgs/development/python-modules/pkgconfig/executable.patch')
0 files changed, 0 insertions, 0 deletions