diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2019-02-28 09:01:03 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-03-18 10:25:58 +0100 |
| commit | f23e6ec166cb90b65fc7b2464d82e4490dd056bf (patch) | |
| tree | e6938c7b992ed8d053eca9b651b44dd0908f9344 /pkgs/development/python-modules/pkgconfig/executable.patch | |
| parent | 2923bd5d0669f1ec6ab03ddce052e9c5efb46d8f (diff) | |
coqPackages.contribs.containers: enable for Coq 8.9
Diffstat (limited to 'pkgs/development/python-modules/pkgconfig/executable.patch')
0 files changed, 0 insertions, 0 deletions