hasufell/hasufell-binhost
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update

Browse Source
This commit is contained in:
Julian Ospald 2016-10-28 10:57:35 +02:00
parent fbcfd6334e
commit 12675eb7bd
8 changed files with 26 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/dev-lang/fsharp/Manifest
View File

@ -1,2 +1,2 @@
DIST hasufell-binhost--dev-lang--fsharp-scm--C.28685.1476992749.985169.C.tar.bz2 7531084 SHA256 5916e653ba0f605f1602895de3a83c08829f0efb0f0d5750f595283a2a227145 SHA512 603e13061cdfeca6f1fdfe725838b221d3dde9dae4e7fedc05cff40441f06a6cdffa5dff783faa23fa55a95c35dff93c169ad56cc3db4be124f8c778c7b364d7 WHIRLPOOL e6629d47453883b6e31c19cdb8bca9aa8ddd6e8dcacff2099518dd5f053598d64acd5bf87bf637844aa7dbbe4b21041c7a3294a36bbb2df86ee9a1f705e75ba9
PBIN fsharp-scm.pbin-1+exheres-0 2131 SHA256 74c71b70992e47808a2e1436474a078e3044622707e26a25c3d27c5bc5d350c6 SHA512 eaf9d6bbffe5288b793786a0f33e5b28019925e3150facbc458c0c1faa71a80a2f57be5db2dc1dca7cd1d2d4596cf4480882e7d4b62db1b9201ef7df868ca969 WHIRLPOOL 9a8dd02be9a610cfe379846138372e824e10ee86e61a9beb3561c2a5f87d3bb21e0b1c978288d719d6aaa67e77524cf4e718c362996ed8c1ee0d02c45839da1b
DIST hasufell-binhost--dev-lang--fsharp-scm--C.12548.1477644857.895201.C.tar.bz2 7530734 SHA256 a38c918562ddf90a9b7685931249e6322cbb32859f8b6f79b08eb7632bee7222 SHA512 173e9f7f3bd16b2e67e74b4d9f82914878749ff2c3bb5d8d42ba8115242177d1b857e6894e6f332dd873bb85eb41abdb7dab093e3ebda12de036cc3b55cda01c WHIRLPOOL 7f1a7d30743dd9f42f8cb97d4692553a28f10196ad4036cbe331b45fc27ca10ac080c004e57a33e36e8497613b469e0de1b93168a06f025a21acf93c46516b37
PBIN fsharp-scm.pbin-1+exheres-0 2142 SHA256 b3b81c47360bec25b838b8639c7611702132295bdf27a5e6f8ecf1490876ac14 SHA512 77d70eacb688419d3a9a16bd4457337fab384c26f6d8336a66b72297316c3e9640209ce43c15cdba05190c4d50668437dd0fcfb1310393a50c634dcfb6b8655c WHIRLPOOL f4de2a59840c2a384173c89293a722a1607f398d728ce1f2e47f318979fc6891178c2a91d0ffea5893dd2c76da49d4a2f8da9a48e1ce2d01128383f1a2364fe8

12
packages/dev-lang/fsharp/fsharp-scm.pbin-1+exheres-0
View File

@ -1,6 +1,6 @@
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Thu Oct 20 21:45:52 CEST 2016
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Fri Oct 28 10:54:20 CEST 2016
CHOST="x86_64-pc-linux-gnu"
DEPENDENCIES="( build: virtual/pkg-config build+run: dev-lang/mono[>=2.9] ) [[ defined-in = [ fsharp-scm.exheres-0 ] ]] ( ( build+fetch: sys-apps/util-linux[>=2.13_pre2] dev-scm/git[>=1.6.0][curl] net-misc/curl[ssl(+)] ) ) [[ defined-in = [ scm.exlib ] ]] ( build: sys-devel/libtool sys-devel/autoconf:2.5 sys-devel/automake:1.12 ) [[ defined-in = [ autotools.exlib ] ]]"
DEPENDENCIES="( build: virtual/pkg-config build+run: dev-lang/mono[>=4.2.2.30-r1] ) [[ defined-in = [ fsharp-scm.exheres-0 ] ]] ( ( build+fetch: sys-apps/util-linux[>=2.13_pre2] dev-scm/git[>=1.6.0][curl] net-misc/curl[ssl(+)] ) ) [[ defined-in = [ scm.exlib ] ]] ( build: sys-devel/libtool sys-devel/autoconf:2.5 sys-devel/automake:1.12 ) [[ defined-in = [ autotools.exlib ] ]]"
DESCRIPTION=""
EAPI="pbin-1+exheres-0"
HOMEPAGE="https://github.com/fsharp/fsharp"
@ -12,7 +12,7 @@ SLOT="0"
DOWNLOADS=""
OPTIONS=""
GENERATED_USING="paludis-2.6.0-git-2.6.0-13-g7d83832"
GENERATED_TIME="1476992752"
GENERATED_TIME="1477644860"
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES COURIER_MODULES ENCODINGS EPIPHANY_EXTENSIONS EXTENSIONS FPRINT_DRIVERS GCC_VERSION GIT_REMOTE_HELPERS GSTREAMER_PLUGINS IM_PROTOCOLS INPUT_DRIVERS KDE_PARTS KIPI_PLUGINS KOPETE_PLUGINS LIBC LINGUAS LUA_ABIS MODULES MULTIBUILD_C NGINX_MODULES NUT_DRIVERS P2P_NETWORKS PCSC_DRIVERS PHP_ABIS PHP_EXTENSIONS PLATFORM PLUGINS POSTGRESQL_EXTENSIONS PROVIDERS PYTHON_ABIS RUBY_ABIS TARGETS VALA_ABIS VIDEO_DRIVERS X86_CPU_FEATURES"
HIDDEN_SUBOPTIONS="ARM_CPU_FEATURES LIBC MULTIBUILD_C PLATFORM X86_CPU_FEATURES"
ASFLAGS=""
@ -25,14 +25,14 @@ CXX="x86_64-pc-linux-gnu-c++"
CXXFLAGS="-march=native -pipe -O2"
LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--hash-style=gnu"
LIBCXXFLAGS=""
GENERATED_FROM_REPOSITORY="exony"
GENERATED_FROM_REPOSITORY="hasufell"
PLATFORMS="~amd64"
BINARY_PLATFORMS="~amd64"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fsharp-scm--C.28685.1476992749.985169.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fsharp-scm--C.12548.1477644857.895201.C.tar.bz2"
SUMMARY="The F# compiler, core library and core tools (open source edition)"
BUGS_TO="virkony@gmail.com"
REMOTE_IDS=" github:fsharp/fsharp "
UPSTREAM_CHANGELOG=""
UPSTREAM_RELEASE_NOTES=""
UPSTREAM_DOCUMENTATION=""
SCM_REVISION="5f39cb34c682ce867d8334bb584d83bb7ecc1c10"
SCM_REVISION="381b7ea3d9b9797d7d609e2ef1a0fd0411846684"

4
packages/dev-lang/fstar/Manifest
View File

@ -1,2 +1,2 @@
DIST hasufell-binhost--dev-lang--fstar-scm--C.1019.1477000454.205391.C.tar.bz2 7335800 SHA256 c5f4c8bd318e8a2d6fd96bbfcab800733729872235c449059b9b280884b58451 SHA512 51b650f6cc9873fa581c2179e21428d5de012b475555cafa506a3b8776718fcf077f9851e1d870689c350ddb1fa8ffb127122e99b9d10531a6c39a4b3981b6d0 WHIRLPOOL 6b1eae5afa2c65b7a14cf26d7ce1c723f782a91f071579ee0efe0c0211395b0cebf887c880deb958ca3ec3a7480467ea70009df722fbd1e0ba1f5ec58e5f3246
PBIN fstar-scm.pbin-1+exheres-0 2697 SHA256 a7a9cc28654ed2027a1bcf37eddd71b9500bda3ee688a1934ea9e4bfd79084d2 SHA512 c39206e53de200be6c408e856f1d8f896db2d6753e72abe22eeba85ef64eea38beb667dca610072b0221a9b2077a67f1b0ea607fd4bbb44f3920b1d952b88d97 WHIRLPOOL 3fe5d4d1210e61d5ed17ed8f94ce62777ff0370017b3823a669ee0bc4c6f071f38c4d21fb06de3bd6b7379b781b855730bdaaf803d6082519815542265794b0e
DIST hasufell-binhost--dev-lang--fstar-scm--C.20820.1477645042.796470.C.tar.bz2 7956953 SHA256 a5b44a448efd7387f63c1d127be5b120b352da2ae5809df5c556ccf4e995f458 SHA512 0c561cfa02f068cc078da936a30ef49394f2a0dfeaa3dac04e4c85451993db6796de49eeae916759b663695cf0d62b73767c6eb54dfb3e0892ff542f5cf4a442 WHIRLPOOL c1105de7ed9741fd8a2f42a38ef7d8209af6d099e1538d7f2a8f3933e2f9fd90e2af0028b392ad8ef1b1dc957f1955d126d4625dbb98bd8cb44174ee3f353245
PBIN fstar-scm.pbin-1+exheres-0 2698 SHA256 fe0cc097a31d6c8d4f78f0d2141a63c727e4505727b2d9e73d1384700e21454b SHA512 9bfd1ed0a528d9ead74cbaca8e9e2193f0eb588a3aac1ecd3b5848afd526712ceb7b93b663dad01349ce60a8495d63c74f0bfea861d5dd3bbf04454f4e55f937 WHIRLPOOL 09849d29ff0d1318dd25d22fefe86bc812fae1ff00c434c77c05d967bcc696064bbff5cdd4c002d8f066f9ee4c07cde07e1e38e12e5b898c9e9f59787e33b880

8
packages/dev-lang/fstar/fstar-scm.pbin-1+exheres-0
View File

@ -1,4 +1,4 @@
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Thu Oct 20 23:54:16 CEST 2016
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Fri Oct 28 10:57:25 CEST 2016
CHOST="x86_64-pc-linux-gnu"
DEPENDENCIES="( build: dev-lang/fsharp dev-lang/ocaml[>=4.02.2] dev-ocaml/batteries dev-ocaml/findlib dev-ocaml/yojson dev-ocaml/zarith build+run: dev-libs/gmp:=6 run: sci-apps/z3 ) [[ defined-in = [ fstar-scm.exheres-0 ] ]] ( ( build+fetch: sys-apps/util-linux[>=2.13_pre2] dev-scm/git[>=1.6.0][curl] net-misc/curl[ssl(+)] ) ) [[ defined-in = [ scm.exlib ] ]]"
DESCRIPTION=" F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties. The F* type- checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs. Programs written in F* can be translated to OCaml or F# for execution."
@ -12,7 +12,7 @@ SLOT="0"
DOWNLOADS=""
OPTIONS=""
GENERATED_USING="paludis-2.6.0-git-2.6.0-13-g7d83832"
GENERATED_TIME="1477000456"
GENERATED_TIME="1477645045"
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES COURIER_MODULES ENCODINGS EPIPHANY_EXTENSIONS EXTENSIONS FPRINT_DRIVERS GCC_VERSION GIT_REMOTE_HELPERS GSTREAMER_PLUGINS IM_PROTOCOLS INPUT_DRIVERS KDE_PARTS KIPI_PLUGINS KOPETE_PLUGINS LIBC LINGUAS LUA_ABIS MODULES MULTIBUILD_C NGINX_MODULES NUT_DRIVERS P2P_NETWORKS PCSC_DRIVERS PHP_ABIS PHP_EXTENSIONS PLATFORM PLUGINS POSTGRESQL_EXTENSIONS PROVIDERS PYTHON_ABIS RUBY_ABIS TARGETS VALA_ABIS VIDEO_DRIVERS X86_CPU_FEATURES"
HIDDEN_SUBOPTIONS="ARM_CPU_FEATURES LIBC MULTIBUILD_C PLATFORM X86_CPU_FEATURES"
ASFLAGS=""
@ -28,11 +28,11 @@ LIBCXXFLAGS=""
GENERATED_FROM_REPOSITORY="hasufell"
PLATFORMS="~amd64"
BINARY_PLATFORMS="~amd64"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fstar-scm--C.1019.1477000454.205391.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fstar-scm--C.20820.1477645042.796470.C.tar.bz2"
SUMMARY="An ML-like language with a type system for program verification"
BUGS_TO="hasufell@posteo.de"
REMOTE_IDS=" github:FStarLang/FStar "
UPSTREAM_CHANGELOG=""
UPSTREAM_RELEASE_NOTES=""
UPSTREAM_DOCUMENTATION=""
SCM_REVISION="658bcac284996d04ad2980d8bde38f7869cd6227"
SCM_REVISION="612f68ecdb7e24bd614787a962b3d4f1c0a4a1e5"

4
packages/dev-lang/node/Manifest
View File

@ -1,2 +1,2 @@
DIST hasufell-binhost--dev-lang--node-4.6.0--C.19109.1477410156.705953.C.tar.bz2 7311027 SHA256 8327248eedd245ed4a01f115df2a169b43896ac4b3ed77ca636a500c9fd19a77 SHA512 ff95bf108443fbf6a5302d2804139eb4c093c2c3872c31ec1b3085ea1830489795c538be0057a1d8d7ab7dbe03e92cf8b7fe074e62f5c679a068bff4e9c08ea0 WHIRLPOOL c6a966f4923c7a7dff4ed7bc2e4161495fd852aa7734e2068c3da7fd32fe4bd2572769b31117e493ab7812a8342837ab770417a916a02f0e8fa204911471aa1e
PBIN node-4.6.0.pbin-1+exheres-0 2183 SHA256 76bc06e5f421db3dc98abebf67d5bb4e744eebbf04d621e834b0eca72469c09b SHA512 1a8d12004ca6ad1f153b21eb611dafe8d654031e576f4ab5a99471bee58275038040e3a9f778e43fadbd344d8d7079860787147ad5ee27d9aafffd831bdf4904 WHIRLPOOL d958da68df6d84e5de12b8ebe2388200b57fcd9dfeb4622e457f16409684731062556ece8011fa00a24f9e34ece9dc8ee23b995ccefd29987ecc71f4296e85ef
DIST hasufell-binhost--dev-lang--node-4.6.1--C.6512.1477644203.599757.C.tar.bz2 8103016 SHA256 36152fd8cbbfec93a9bb3a31e0d9aaf2c7857182566029a440d63356723f6834 SHA512 7e1c3ba819be02ad21cfe8a4736e650fa0e2a5e0302d90ee597e39f9c119162f1bbcc6995e3e4c8fffc76d35535512699cc9831aef2c0ec52a3529c339e706eb WHIRLPOOL 66b2f09c0feedbee0df472c39291bfd0ba30c8753d5d4471193b9ad123d2e91ea29abcccd93c7d02c33a4a73fa41f0257964c64f0b39d06f5778e88ac439d9ec
PBIN node-4.6.1.pbin-1+exheres-0 2182 SHA256 410df48b343c1c4b07e6e6841052b1dc71e7ff42d5c23c2966e4c7e4f1dd3f7e SHA512 6626e5645e0c21c7e09949a0e784db806b1b19d326dab040064987b26e18c862c8ccbaafe646888f9a8b6ba4c75cefa6431ebf7ce2cfc1e96403d6fb4752eb19 WHIRLPOOL 3a7443ade644e14393e907c129307b75369014d6c08b88efa552267b613ce384b001b354a197c0263c79ed20dd414a0618dec496474a8214eb39b1f0e83d3ff1

8
packages/dev-lang/node/node-4.6.0.pbin-1+exheres-0 → packages/dev-lang/node/node-4.6.1.pbin-1+exheres-0
View File

@ -1,4 +1,4 @@
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Tue Oct 25 17:42:40 CEST 2016
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Fri Oct 28 10:43:27 CEST 2016
CHOST="x86_64-pc-linux-gnu"
DEPENDENCIES="( build: dev-lang/python:*[<3.0] build+run: dev-libs/icu:=57.1 dev-libs/libpthread-stubs sys-libs/zlib system-openssl? ( dev-libs/openssl[>=1.0.2] ) ) [[ defined-in = [ node.exlib ] ]]"
DESCRIPTION="Designed to provide an easy way to build scalable network applications, similar to Event Machine or Twisted"
@ -9,10 +9,10 @@ MYOPTIONS="( ( gdb [[ description = [ enable GDB JIT interface for v8 ] ]] syste
PLATFORMS="~amd64 ~x86"
LICENCES="MIT"
SLOT="0"
DOWNLOADS="https://nodejs.org/dist/v4.6.0/node-v4.6.0.tar.gz"
DOWNLOADS="https://nodejs.org/dist/v4.6.1/node-v4.6.1.tar.gz"
OPTIONS=""
GENERATED_USING="paludis-2.6.0-git-2.6.0-13-g7d83832"
GENERATED_TIME="1477410160"
GENERATED_TIME="1477644207"
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES COURIER_MODULES ENCODINGS EPIPHANY_EXTENSIONS EXTENSIONS FPRINT_DRIVERS GCC_VERSION GIT_REMOTE_HELPERS GSTREAMER_PLUGINS IM_PROTOCOLS INPUT_DRIVERS KDE_PARTS KIPI_PLUGINS KOPETE_PLUGINS LIBC LINGUAS LUA_ABIS MODULES MULTIBUILD_C NGINX_MODULES NUT_DRIVERS P2P_NETWORKS PCSC_DRIVERS PHP_ABIS PHP_EXTENSIONS PLATFORM PLUGINS POSTGRESQL_EXTENSIONS PROVIDERS PYTHON_ABIS RUBY_ABIS TARGETS VALA_ABIS VIDEO_DRIVERS X86_CPU_FEATURES"
HIDDEN_SUBOPTIONS="ARM_CPU_FEATURES LIBC MULTIBUILD_C PLATFORM X86_CPU_FEATURES"
ASFLAGS=""
@ -28,7 +28,7 @@ LIBCXXFLAGS=""
GENERATED_FROM_REPOSITORY="arbor"
PLATFORMS="~amd64 ~x86"
BINARY_PLATFORMS="~amd64"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--node-4.6.0--C.19109.1477410156.705953.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--node-4.6.1--C.6512.1477644203.599757.C.tar.bz2"
SUMMARY="Evented I/O for V8 Javascript"
BUGS_TO=""
REMOTE_IDS=""

4
packages/sci-apps/z3/Manifest
View File

@ -1,2 +1,2 @@
DIST hasufell-binhost--sci-apps--z3-scm--C.24439.1477000265.838769.C.tar.bz2 14580659 SHA256 a7ee603eafe08aac31e3dac355e16c4bd8e227749f9d6e4f82f7addf49ff07d1 SHA512 4b88aa292a29ad52e8e5a96e436b6f7479ac409d371cb5755c82235ccf2c47d2e1e2db240ba07a66cfea4e93abab9667c1bfa83f091e663fe73b2da6af172849 WHIRLPOOL 719bec0816eb080cfaf128a9ea2c19851cab0119be49b1d923ecfddb22e988a940ba2a4b811a7c3891b9bfab2db2277cd9411ef4b7702140bd3f62c836fa3586
PBIN z3-scm.pbin-1+exheres-0 1932 SHA256 561fdd49afa63f25b56b576cfeb0bd872da106cf5292ed9696d824e826f17c12 SHA512 93c3a7a3d9cf81b4125fdcd9f548c9753cf8e43948a0c0c3a673e46c26033d46c6a0e9c78e8b680ccb64531a3f07eff312b29c44c8ce81af130a6108f0f628bb WHIRLPOOL 3a487b17aa8973ad56b4a3e7c2a646642eafbe32fc361c5dee8a7d79b0cfadde8dc4f34bc1678bb8cb3f5bc27863a95d9b03c82ef0f21c910818ba3d76d63cbd
DIST hasufell-binhost--sci-apps--z3-scm--C.3338.1477644444.989076.C.tar.bz2 15781787 SHA256 7bd9b73590f709c3191ff3e009bbbf0db374650b43fb44ce33609325cbabdcaf SHA512 20c25cfdb5eefd66f93e3f9cbc3f4a772fd75e957d12713d645626c9150a8e3831b44a9131e885bb7a72ee2c2d65ea79ee5c5f469ac14f562bc60c17cfba07f2 WHIRLPOOL 9b8ab9348ea899c28ddfdb45fa2f4e3ab19af4524326da85c2724a61efeb87a32812dd04b2901daea1b0a7f2fa34fe0bb1994f7f36906735e8ba608bc112f657
PBIN z3-scm.pbin-1+exheres-0 1931 SHA256 36066227caf74619e3262f6b722c72b21e3c4c4fdbb65a10f6a81fca911e7ddd SHA512 46e841158fa0edf3011e227f45709915a45fe59c3b954f505516e83442c571842b830ff0784c544a051c43f4ca4cfca45e99b2c51ee12056bc236ccde7e02c11 WHIRLPOOL cb0b0e9873308495e199ca8462b71237ffabe96e855bc964c7ea0bfb19336daeda14c64606202b650be9e05d364f11d19a41900ec2e21e8ada8a6244aab76e99

8
packages/sci-apps/z3/z3-scm.pbin-1+exheres-0
View File

@ -1,4 +1,4 @@
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Thu Oct 20 23:51:09 CEST 2016
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Fri Oct 28 10:47:29 CEST 2016
CHOST="x86_64-pc-linux-gnu"
DEPENDENCIES="( ( build+fetch: sys-apps/util-linux[>=2.13_pre2] dev-scm/git[>=1.6.0][curl] net-misc/curl[ssl(+)] ) ) [[ defined-in = [ scm.exlib ] ]] ( build: dev-lang/python:2.7 build+run: dev-lang/ocaml dev-libs/gmp:* ) [[ defined-in = [ z3.exlib ] ]]"
DESCRIPTION=""
@ -12,7 +12,7 @@ SLOT="0"
DOWNLOADS=""
OPTIONS=""
GENERATED_USING="paludis-2.6.0-git-2.6.0-13-g7d83832"
GENERATED_TIME="1477000269"
GENERATED_TIME="1477644449"
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES COURIER_MODULES ENCODINGS EPIPHANY_EXTENSIONS EXTENSIONS FPRINT_DRIVERS GCC_VERSION GIT_REMOTE_HELPERS GSTREAMER_PLUGINS IM_PROTOCOLS INPUT_DRIVERS KDE_PARTS KIPI_PLUGINS KOPETE_PLUGINS LIBC LINGUAS LUA_ABIS MODULES MULTIBUILD_C NGINX_MODULES NUT_DRIVERS P2P_NETWORKS PCSC_DRIVERS PHP_ABIS PHP_EXTENSIONS PLATFORM PLUGINS POSTGRESQL_EXTENSIONS PROVIDERS PYTHON_ABIS RUBY_ABIS TARGETS VALA_ABIS VIDEO_DRIVERS X86_CPU_FEATURES"
HIDDEN_SUBOPTIONS="ARM_CPU_FEATURES LIBC MULTIBUILD_C PLATFORM X86_CPU_FEATURES"
ASFLAGS=""
@ -28,11 +28,11 @@ LIBCXXFLAGS=""
GENERATED_FROM_REPOSITORY="nicoo"
PLATFORMS="~amd64"
BINARY_PLATFORMS="~amd64"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.24439.1477000265.838769.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.3338.1477644444.989076.C.tar.bz2"
SUMMARY="Open-source, high performance theorem prover"
BUGS_TO=""
REMOTE_IDS=" github:Z3Prover/z3 "
UPSTREAM_CHANGELOG=""
UPSTREAM_RELEASE_NOTES=""
UPSTREAM_DOCUMENTATION=""
SCM_REVISION="f97ffce479e3283e59f5352d001e9ab4cd1dafc9"
SCM_REVISION="ca309341c3de0e3762acf663263e9cbc8b69eabb"