diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-05-23 23:21:07 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-05-24 00:08:06 +0200 |
| commit | a98af1509eec18f68b78607369e145934e9c90f3 (patch) | |
| tree | e25b1d0984e8483d754ded7bb978d65a83b7e903 /sci-mathematics | |
| parent | dev-lang/boogie: bump to 3.1.6 (diff) | |
| download | gentoo-a98af1509eec18f68b78607369e145934e9c90f3.tar.gz gentoo-a98af1509eec18f68b78607369e145934e9c90f3.tar.bz2 gentoo-a98af1509eec18f68b78607369e145934e9c90f3.zip | |
dev-lang/boogie: use edo instead of edob
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
0 files changed, 0 insertions, 0 deletions