diff options
| author | Kierán Meinhardt <kieran.meinhardt@gmail.com> | 2019-09-24 17:01:21 +0200 |
|---|---|---|
| committer | Kierán Meinhardt <kieran.meinhardt@gmail.com> | 2019-09-24 17:01:21 +0200 |
| commit | 7df8575a723abaac022fa6bbd77aba66b96631f6 (patch) | |
| tree | 9a16b81f83d3f7e2380a2bcb7e4be8254dbb7455 /pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch | |
| parent | 6a17945355147705ff13d87831277aa0e2203733 (diff) | |
idrisPackages.heyting-algebra: mark as broken
The functionality provided by this package has been added to the Idris contrib library (module `Interfaces.Verified`).
Therefore identifiers cannot be disambiguated anymore.
Diffstat (limited to 'pkgs/development/python-modules/termplotlib/gnuplot-subprocess.patch')
0 files changed, 0 insertions, 0 deletions