diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-12-10 20:15:47 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-12-10 20:16:34 +0100 |
| commit | 4be39a23beeaf0727666a2119cf04859c684ffc6 (patch) | |
| tree | 8523b5663e61a40e6d129521efd4bb11632a5286 /sci-mathematics/proverif | |
| parent | sci-mathematics/proverif: bump to 2.05 (diff) | |
| download | gentoo-4be39a23beeaf0727666a2119cf04859c684ffc6.tar.gz gentoo-4be39a23beeaf0727666a2119cf04859c684ffc6.tar.bz2 gentoo-4be39a23beeaf0727666a2119cf04859c684ffc6.zip | |
sci-mathematics/proverif: bump to 2.05
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/proverif')
| -rw-r--r-- | sci-mathematics/proverif/proverif-2.05.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/proverif/proverif-2.05.ebuild b/sci-mathematics/proverif/proverif-2.05.ebuild index 16f222d7eaa0..3a6c80ee509e 100644 --- a/sci-mathematics/proverif/proverif-2.05.ebuild +++ b/sci-mathematics/proverif/proverif-2.05.ebuild @@ -33,7 +33,7 @@ DEPEND=" ${RDEPEND} " -DOCS=( CHANGES README docs/dev docs/manual ) +DOCS=( CHANGES README ) SITEFILE="50${PN}-gentoo.el" src_compile() { |