diff options
| author |   Jakov Smolic <jakov.smolic@sartura.hr> | 2021-01-20 11:15:58 +0100 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2021-01-20 11:15:58 +0100 |
| commit | a853dd4c82d3ef0ed3d8e78b52b05f609e1679fb (patch) | |
| tree | 890fc6784376e43652093d12ed353ba452d5f556 /sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el | |
| parent | sci-mathematics/why3-for-spark: Remove old (diff) | |
| download | gentoo-a853dd4c82d3ef0ed3d8e78b52b05f609e1679fb.tar.gz gentoo-a853dd4c82d3ef0ed3d8e78b52b05f609e1679fb.tar.bz2 gentoo-a853dd4c82d3ef0ed3d8e78b52b05f609e1679fb.zip | |
sci-mathematics/wxmaxima: Remove old
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr>
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'sci-mathematics/agda-stdlib/files/50agda-stdlib-gentoo.el')
0 files changed, 0 insertions, 0 deletions