diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-10-20 07:59:50 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-20 07:59:50 +0100 |
| commit | 2eda3a3b8ebdb3fc8552feb6f49e466d3bc8e88c (patch) | |
| tree | 69a469da2fa8c3f4920325ac5595300929f5d884 /sci-mathematics/twelf | |
| parent | 9ed0c42eb618229fa6f45e10155ee535e1f605a2 (diff) | |
gentoo auto-resync : 20:10:2022 - 07:59:49
Diffstat (limited to 'sci-mathematics/twelf')
| -rw-r--r-- | sci-mathematics/twelf/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/twelf/metadata.xml | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/twelf/Manifest b/sci-mathematics/twelf/Manifest index 29ec281c3e91..e78a7e736673 100644 --- a/sci-mathematics/twelf/Manifest +++ b/sci-mathematics/twelf/Manifest @@ -12,4 +12,4 @@ AUX twelf-1.7.1-mlton-mlb.patch 11244 BLAKE2B e07adfd1520179a8ca3c292638689c8cc3 AUX twelf-1.7.1-remove-svnversion.patch 241 BLAKE2B f92db57c82d31fae8518d0a3947fd0ebf24ab06aa51fbf0e3a2b271eb30583904d5487f3f4b2605d5ca168f78ca7eed0fdcb4473604c4ae83a2807416341c99b SHA512 07bb5f88580dcb6ae722d7af98c58c96453871f8ce6eb107fbedafc6939a0d8871e3820e933cdc90aa6ca17d8909717f607e3819c34f5f852b7606a7680e7462 DIST twelf-src-1.7.1.tar.gz 1147610 BLAKE2B 9fbb3c5a4823845a0c721112744330658be0e68784ef209a3d17fb72874ef50d7dbb434a7104704a5540f2f0bc30727bfe1ff602f986570f944454e77c24609d SHA512 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df EBUILD twelf-1.7.1-r2.ebuild 2717 BLAKE2B 03351db21a04ed6555f7dd9b559d29ad03a10451a29740e92877d447c45da8baefc19256b8b8e0c98b7149dcde41cea25900249086fb460d955b75a5f0f9ef84 SHA512 2188bdc4a8299a0fd4dea45f3a3c9565ec2c546f7c895898190df7dd05545ca143658d6f4a5ec3bcdf4c5d4db6813e6f5a666da2b9f9ca50e320aad94b8ab73a -MISC metadata.xml 447 BLAKE2B 1763b7e6e596780d5949b14698c9f6f95c503465b28d9ee9977d51ccc814bb9bfea89efaafb4ed6e605713ad2f22660247baccfcc36b7d1fc5e89454a5e12627 SHA512 db714b8a511dce8010f054d5b0857c17e632d66d08dfffe9f71d9cb8d042b599d5fa5589cd6779431f86e46415c0c114b81d06c98009297f0b95f323805829a3 +MISC metadata.xml 455 BLAKE2B b6129a72964285771e69465dcb9e4b1b5a7437530f946712ba6a64b5f7ae317400833cd54ffe6de02e84fdbc699dc9e56510b4fdd41b3b575ff5069d682c0293 SHA512 cc5dfa6dbd846c77784b59d2b71ea8613dc25f2af676db3bae8b5fad1a6bc45d56b74278451f449de2d13ca8c2cb6c651b6bf329aa59a192dcfed0832c0359f4 diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml index c462d4b2dff5..62f2b95ec8fc 100644 --- a/sci-mathematics/twelf/metadata.xml +++ b/sci-mathematics/twelf/metadata.xml @@ -6,8 +6,8 @@ <name>Mark Wright</name> </maintainer> <longdescription lang="en"> -Twelf is an implementation of the logical framework LF. It is used for -logic programming and for the formalization of programming language -theory. -</longdescription> + Twelf is an implementation of the logical framework LF. It is used for + logic programming and for the formalization of programming language + theory. + </longdescription> </pkgmetadata> |