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