diff options
| author | Jörg Thalheim <joerg@thalheim.io> | 2018-10-28 20:43:34 +0000 |
|---|---|---|
| committer | Jörg Thalheim <joerg@thalheim.io> | 2018-10-30 13:31:11 +0000 |
| commit | b5ad6154743436b5acc791ccec5cde4be36dd18b (patch) | |
| tree | 32111c5603c4acbdf9bbe1d5748b8bf3ed6b345d /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 1d8794e16ecd92e5e3174fca69964bdbd2c8d110 (diff) | |
verasco: remove unmaintained project
Verasco is no longer maintained by upstream and blocks updates of some libraries.
Removing it also makes it possible to remove coq 8.4.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions