diff options
| author | Tupone Alfredo <tupone@gentoo.org> | 2017-10-19 21:43:39 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2017-10-19 21:43:39 +0200 |
| commit | eb5feee2d87d486910df3c8b3cb505f1eb0e47c3 (patch) | |
| tree | bb8da3e495b6ba2aed64ab1739b6cadb83379162 /sci-mathematics/wxmaxima | |
| parent | e00949d9fe4e70664d843c433e4d87318161e45c (diff) | |
| download | gentoo-eb5feee2d87d486910df3c8b3cb505f1eb0e47c3.tar.gz gentoo-eb5feee2d87d486910df3c8b3cb505f1eb0e47c3.tar.xz | |
sci-mathematics/why3-for-spark: Adding why3 for spark
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'sci-mathematics/wxmaxima')
0 files changed, 0 insertions, 0 deletions