diff options
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/Manifest.gz | bin | 20335 -> 20345 bytes | |||
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-3.0.4.ebuild | 8 | ||||
| -rw-r--r-- | dev-lang/dafny/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.2.0.ebuild | 8 |
5 files changed, 18 insertions, 2 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz Binary files differindex 3a40dd790c8a..c12879809835 100644 --- a/dev-lang/Manifest.gz +++ b/dev-lang/Manifest.gz diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 7141ad9c6647..342cd6239b60 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -190,5 +190,5 @@ DIST system.xml.xpath.4.0.1.nupkg 250135 BLAKE2B d6f211f98f33f6b8959b918cff8e676 DIST system.xml.xpath.4.3.0.nupkg 250182 BLAKE2B 8a4177d47af56bc7a6289ed8f2cac41d504dee212a858ed221277b3f523b1ce38ccb47bc3ce4d59a2c7cfd77f00f3c9693a9c257c90adb38096ee77a860f10cc SHA512 2bd0979a2020579fb32ad374b89929a272e763ee1233ed9a215408c0a1f9f82a5fdb74330c1c55a6102e0dfdb8b7b59ed25fdf6454bf3de146152ea779f366e0 DIST system.xml.xpath.xmldocument.4.0.1.nupkg 86933 BLAKE2B 4c03b5a9433c2c954e75d212f9026885aa7514574b73a54880c3d55baee6bd5517abb46b67b22b9b6e63de92a8bc5ab4ff37e3f7e6454a5c5137ae2be6574b75 SHA512 81041a08d3b9158c43dfb48d42f13ec9950d7c2b7f63e1600a779a77786edfb46c522c32d9cc6a44358fbfe11efba0e539e578ef169261867a1905b8121a045d DIST system.xml.xpath.xmldocument.4.3.0.nupkg 138523 BLAKE2B ba53f3b5ac0f2d1d1e9120940b302e6960690ed4a44b96ba15b03e16f9159f2c57d6004aa55b796ba2327009d23fc2f10d4d09e948b88eb6af36efa5f76e401b SHA512 f75b6f7c75874ab6053e8942c1662a6e9a3561aa01502437b8d67f3bfcebd1ebf906792801326889ed7acb094c55469766d7d27cd10bc61b46ddaaa94dfc11e3 -EBUILD boogie-3.0.4.ebuild 8991 BLAKE2B 02792a2edaf29cb5874d6f96664b1f0da052549be76dc1adf54ce1026e406355fd6b3ddef1748db905f5991403e44e79c00cb5b4e114af2fdbef5ed0dcede3b1 SHA512 f6b3003d6bdbcb51299f19a9cd8526af0247318a924f577e0d2bc18279576eac07b9d8fd418687d9c8b1ea8fef3d0b5181dbc34e30c1962d6ff9e8ecdcd69e76 +EBUILD boogie-3.0.4.ebuild 9094 BLAKE2B 88bef8c92381d28c28f4af607ef053f3696d7205bd80bdcc06ee2cd48907c818fb171b05efee748be3a35a2b5b36cc07e8ece20e7e47c4120535a9bdf2df51bc SHA512 416f7d18c85b1697fc733cdee967fce288d5ff8d2c933e2b4b295dee08e06be61c8b0b2fd4b9a4eed2cfe513398e195d4496aa3dff465baf504b39bb8a7606bc MISC metadata.xml 1102 BLAKE2B 215544658792715aae72787f7c949ed89df9c05ceab5a919a861c02b7938c0d1ee228e0ede55008287b616faf70992a8c1f2854e6e5e1fc909718ae682996bb8 SHA512 b6a626c485e2a5db3390da62c629507a60417eda8b508d7ed8d1c017ac337743d2c4fe0e8554b103f989176dcd2969cc8579e91532b07a22c1b66328ef241e8d diff --git a/dev-lang/boogie/boogie-3.0.4.ebuild b/dev-lang/boogie/boogie-3.0.4.ebuild index 99ebc26b59b9..4a65a8887995 100644 --- a/dev-lang/boogie/boogie-3.0.4.ebuild +++ b/dev-lang/boogie/boogie-3.0.4.ebuild @@ -238,6 +238,14 @@ pkg_setup() { dotnet-pkg_pkg_setup } +src_unpack() { + dotnet-pkg_src_unpack + + if [[ -n ${EGIT_REPO_URI} ]] ; then + git-r3_src_unpack + fi +} + src_prepare() { # Bump used .NET version: 6.0 -> 7.0 sed -e "s|net6.0|net7.0|g" \ diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 8218e42189e6..156a23bc509a 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -271,5 +271,5 @@ DIST xunit.extensibility.execution.2.4.0.nupkg 481651 BLAKE2B 8cd2bef58356196059 DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c9598afe247f46c0630fff6ad5e1cb82105182cac11b410c0c41c19fd513c5a3a59183ca45e1046af3289d670e0329a424ed7cb4a81735a SHA512 e654fcf8767427d5370746cab7f2078fddaf2239c9b312114bd68f1d91f739acef8586697e44c41442ace3a3d140591bd8ddeae81b3079f6719b3740757cc90d DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1 -EBUILD dafny-4.2.0.ebuild 15948 BLAKE2B 3a5bd680ab46066d8bdd44e0b4a6dc9747c8f17819f3dab2c4d1d8f04772ee92d6cfd4ca3a300a499fe01b6028efacc534678a487b4fddc7864643be7dbb74f6 SHA512 2f391b06b35fb5a3e3d1ed499d73d281b77c308025462b534deb757ecb2ae0084efb824e881a6d374272539ef517cd704e3e0c7853841a8a9f0ce54eff89d0fb +EBUILD dafny-4.2.0.ebuild 16051 BLAKE2B 400b0f139d18d2077964d4855cdcc8f726d3e3f4dd48e5ee93245b701eeea73b269c26527dcc8948551f82145bce050a275242ee7b8a639a8d9ab671653020c1 SHA512 99a753e98236d068ab060fba1fa264a19a0c8ce60373b7fa15b9804bd5ca8617359ae6f479b982af134fab0c75df38339bc1a13967cbc89d8dcd5eeb4842d767 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.2.0.ebuild b/dev-lang/dafny/dafny-4.2.0.ebuild index b95aa81fb52f..34aaf73989ea 100644 --- a/dev-lang/dafny/dafny-4.2.0.ebuild +++ b/dev-lang/dafny/dafny-4.2.0.ebuild @@ -354,6 +354,14 @@ pkg_setup() { fi } +src_unpack() { + dotnet-pkg_src_unpack + + if [[ -n ${EGIT_REPO_URI} ]] ; then + git-r3_src_unpack + fi +} + src_prepare() { # Clean the environment. unset NPM_CONFIG_USERCONFIG |