pkgsrc signature

version: 1
pkgname: yices2-2.6.1
algorithm: SHA512
block size: 65536
file size: 2238304

d74f3c64cc853d1714fc1ef2028c9931149ed8fd12c3bc81ed973699cf908f8ca9463fef5cefd84728a22ddb77d7c84dacccfc198eb39f2b4323a31791006dfe
082e8ea2b035011a85490957d6f652112cf1bc71c20def17219f5a6474ee562f81e93aff2409cb37b3fb609c532997f3698695ecb68b2b71b2cb7d60571a4191
e531c3065d48af0183cc4abc2521e44ada2b196c30d431890823e50a6b027e7d930d0aa2c064743f747f8f28914e7ad96d0b31d4695e36475aeda9fed65efb5a
312f29cd6645a2d720aeb5ea0d0b17d7c58e1f0bcc6ae89b0a45773e40bdc6979c66fc98e71d3eb6330a4dcafc040077b49cd4f70a9ae59ce2e247e7315b95b5
f32a4fd896b9e244c6fca0ebb0d18e1cc5734f4d511e30a18c85097a330b2992ebfa728c76f687295806a09cf2c3a9fcdd61d0f5315cb1ba9d53de5fcdd9371a
1c0a2953a34f371da3d71f1bde6e6ed4a45d4d04fea96eb8d219ae47e40a58490d2293741aadd53954a2157cc1e93caa5626eb94c47b92e0585ecccb89b641df
a4bba19b5b683758ca63d3e78e922c4231f9a6ab73244a47ddd42e3d21651788e30125fdf83f00d8579a7e2361bb88105ba02064aa61efd5011806dd3ca8d2f5
36e4ee172e68d10fea1f37522b5627bb9b2fd9fa4b3212a12ccea8407aacd95dc34ddf92d4604f129e58121258e4de97cf4350e588ab4a658eafcfa37de63309
a9e1ab9a1fe669b1e9e7f1d4e3d2d51aa36833f3aac80a3a1a27019f4235e889a48aea0032ff6a35107d11e15c3eb81866a20992b76c384ba91c067655687c84
7b31366639f51f8b53b09fb2200d582b5a4a52a7c72a32f22839c5a95ab5653f1553ef22fb7bb3985fb81d65f10fdd2ca83ed80e50f7af845c22a24956f8a822
e62c8420c4f1f0c5afdd082e57538ddaef87e34b7bff6b8cd9665ff47eb311a67c8991876c542f3dbfcba12ade70ab14b2d24d142c1dfd8076ad2f14a41a7854
6ea581762489952d3218e084c2fee84690679b845dc509c4da48909dd13e1ea270c0fe802282b4402c54ad24de0f72c9de99a38deb58bc28f4889fe1b9cc378b
33e6773e9b2747bc453426b4c9275772ee580f4a6099b2fa8e2b02294f50d4692c0928652ccd6ef2725993fcf34629bf7262f79e1d69f062f7d7c1350f3ec7e2
ea00e29f6a1c0a287554d62b27385e695f622b51bdba781e9a47ed5dbacb9ca9a32873005d36ec0c4a492e775b307544100d5c5aafc26337de85516042bcaefc
47494cc523ffb6aa844b38c94d9183fba834d9c348eea9124cff4ac20de740b76c52f1c9e84a0a7f4f47d2f372289f0774ae3dee8efa06ec0c164c5e99792967
4e2196cd33a0638e97fffa6b7703f168ed3fcc5828eda3fa596bf87f7229a6b66f1fda39291ec29d89094b109c857e263f83ef0004d32f9c435fb0d2d3b43a40
405b21f5a6b0ffd6efcd59f6e69b0ca6cd26c726c35ac908f493a58063b92b7eb8a9dc53b2b21baddf6d2b0fa43c7dd3b2b92fd331f1df0ec402fd48da844abe
7b231aadcdaacaa1b18450ac02b9e4db9ea55435cef740c31fce936f7ec4cc48890ab8085005bee9529e40882c2feaed2fcf1a134abc43414f1b691e49332f34
c6ef343d4188ceeedf49ed8f9f1dbeaec1999ccb125e1a9b0d0e2dba0b4b8cd693ef7678ea02061d0e8ed6f2954772c68d552d576566325fb4271015469f2090
01849552251af97bc10c92d112a84fb88e03e4846458b10aaec9a3f003949c94dd4048ec322b49657c3489f6c9e52428bbcfdaa58f983c02e961706f0d6adbf1
ee3271922544f18c3c18b68a2a10d33b542acef1143f1cd33afad9e8969f548a743b859323a234bb9dd331e6d893c3541b450021048721b24a32a0e68ac12a37
3e7045439a7f055451e57b3040e50c9b2b7a88039c2de148fcabff03d47de610384f441e9425c5eab79f3735ae796e8d11144e463d4378f15da5327d908dd00f
8b7f8093bd272f4feda83f28d38323d80c2bbe9fb852f39a81f1e1eca11399a61bd57ecb97fa08dd0d6539508a13f30e4138b923fb9287277fae65fd967c305a
8296ec78ee32e6204eedef2e6437906e05534a83997646283636a44ce9c93f8e9d394c341b2a43dd66a42e3a267c0f995738b2a570c9b3b3f6cceb68441a1779
9efc4488c97da4fc668ddadc2978b864b50a49b8497d8f8b5701279980a74b1b985a5de6776ad3f38b23437c50110cb79dc0867e44ac3152943a12eb405f0839
fbbe5aefd54775fcdca2b69730c33105b63c4b657dfd81e6ecddf037e8c26750a4ac2f560df9c3cfcb0cc01e9347232232185fcc91c36c5248bad42b88c9431b
78c7be0fca44408ba3835aba80264556c060d18b8460ccef647870134c4daf3a0c5a40ee4fc86f781649821510d6bb22c15fd33d4e367f77ce46f8a90f04886a
a4d4b96d12c0e81e3fe399794fdd439fa93d8757ac426201236f4e2edd50fd5afb75fd67d2e69624f86c7311131cd40fa5fda51fd2ca62f753a1f077b8662119
98fd6506fb04618a0904f0d7814e0348dabe23ade862e30ea0efa1b58048d00ce48a44401cf361729a52b51645853357a57b2046e0988540944a7e304f6f5577
694cf26f50a0260ed22e23840c3f7d0bf1e40452ee69afd7f7c09087c9c2ffc88ced37b738fd58e6b5be858c26c0b694144ece084a03c91af2734d7593568f28
a37681fba7f27a293226e5f72f1a022689ccc9f3a7a33dc96ce65829789e619ba2b1c44dea741ed3a32dae79f17ca93d445a4d3e74e2c8c25d906d8798352dbe
cf602d52441e01acd9435c1b29348bb5cacc4dc06a7b24cca20a2064c43e15fbc3054b2eb2c6748a56c177f4212f35ff608c40bb27304fd6b78ca6a2bfb73f3e
c625af07ad492517dbfaf5a18340afa47ef8c2f0cb4ed85b92f9adec74efb8f2fef5f9f7f37b19102bed4a618fd9c35bdc0c0916d7aa143908b769b389b61b96
fb43b7d992684c46b70a2556d3012e9c8a830fc28905226f5206da5f03bf29e23711d0d55d57db8f53acd257d63c117737100fa8e9943b908742742a5e655658
18b30a78424dfa42ca2ccc5443fd0d580b6df9b39556d4fb75317a47c8a51d0b8af402e7c665761a4d0e17407d5269121398ed3e888525591344087801fad76f
end pkgsrc signature
