diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-12-12 01:56:49 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-12-12 02:59:46 +0100 |
| commit | afa23b7e71a8114ea0919675d3d4029f6d6b6176 (patch) | |
| tree | 5b8c698f59e64aa2ef76be17ec1cf07233dfb1a2 /sci-mathematics/flint | |
| parent | media-libs/imlib2: Stabilize 1.7.1-r2 sparc, #828865 (diff) | |
| download | gentoo-afa23b7e71a8114ea0919675d3d4029f6d6b6176.tar.gz gentoo-afa23b7e71a8114ea0919675d3d4029f6d6b6176.tar.bz2 gentoo-afa23b7e71a8114ea0919675d3d4029f6d6b6176.zip | |
sci-mathematics/why3: new package; add version 1.4.0
Move from ::guru to ::gentoo,
add François-Xavier Carton as a co-maintainer.
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/flint')
0 files changed, 0 insertions, 0 deletions