@name 4ti2-1.6.15_0
@portname 4ti2
@portepoch 0
@portversion 1.6.15
@portrevision 0
@archs x86_64
@pkgdep glpk-5.0_0
@pkgdep gmp-6.3.0_0
@macports_version 2.12.6
@os.subplatform macosx
@os.version 11.4.2
@macos_version 10.7.5
@xcodeversion 4.6.3
@source_date_epoch 1791236676
opt/local/bin/4ti2gmp
@comment MD5:22d24b8ddd4ee2810ae9afc12ba02070
@comment binary:1
opt/local/bin/4ti2int32
@comment MD5:1c5ef786284847813c3b6d77ad73afed
@comment binary:1
opt/local/bin/4ti2int64
@comment MD5:dbdc7c3f5640c555a94bd3bc50fc6d9b
@comment binary:1
opt/local/bin/circuits
@comment MD5:292f06006d46df486267d4072ad097fc
@comment binary:0
opt/local/bin/genmodel
@comment MD5:aae65dd568a00d7c95a00399454419e9
@comment binary:1
opt/local/bin/gensymm
@comment MD5:d49d4ca104bac6dae4ca2ebd851e0dbf
@comment binary:1
opt/local/bin/graver
@comment MD5:b52aac305475f8b0f7800a6fb9975406
@comment binary:0
opt/local/bin/groebner
@comment MD5:292f06006d46df486267d4072ad097fc
@comment binary:0
opt/local/bin/hilbert
@comment MD5:aaa2a2f94a680f51f6156918c85ed472
@comment binary:0
opt/local/bin/markov
@comment MD5:292f06006d46df486267d4072ad097fc
@comment binary:0
opt/local/bin/minimize
@comment MD5:292f06006d46df486267d4072ad097fc
@comment binary:0
opt/local/bin/normalform
@comment MD5:292f06006d46df486267d4072ad097fc
@comment binary:0
opt/local/bin/output
@comment MD5:636220ae8eb08633325f0212444ccc55
@comment binary:1
opt/local/bin/ppi
@comment MD5:99a19da0fee05f28de257f1a96e834c7
@comment binary:1
opt/local/bin/qsolve
@comment MD5:292f06006d46df486267d4072ad097fc
@comment binary:0
opt/local/bin/rays
@comment MD5:292f06006d46df486267d4072ad097fc
@comment binary:0
opt/local/bin/walk
@comment MD5:292f06006d46df486267d4072ad097fc
@comment binary:0
opt/local/bin/zbasis
@comment MD5:292f06006d46df486267d4072ad097fc
@comment binary:0
opt/local/bin/zsolve
@comment MD5:57db46b52d55b28027c0a9a9bb86e797
@comment binary:1
opt/local/include/4ti2/4ti2.h
@comment MD5:dd5a72184c435ab4151750f45ceffc35
@comment binary:0
opt/local/include/4ti2/4ti2_config.h
@comment MD5:da1db8a23310c8e370d09fff3bd144e5
@comment binary:0
opt/local/include/4ti2/4ti2xx.h
@comment MD5:8a421bceacdc8f98496c9621d737ddfe
@comment binary:0
opt/local/include/groebner/Algorithm.h
@comment MD5:dbfdb3f381ecba4237acdce00a837fd6
@comment binary:0
opt/local/include/groebner/BasicCompletion.h
@comment MD5:aca960ad8488e859a231aaf1f6b07c2f
@comment binary:0
opt/local/include/groebner/BasicGeneration.h
@comment MD5:59359211f1108d2f265093199e6a6552
@comment binary:0
opt/local/include/groebner/BasicOptions.h
@comment MD5:e62edcdaf495523c5a71aeb315fc9ae5
@comment binary:0
opt/local/include/groebner/BasicReduction.h
@comment MD5:09f6c79b3e6261a1bae82fb07efc7b99
@comment binary:0
opt/local/include/groebner/Binomial.h
@comment MD5:e6a87084121fe3a2ca5f6ae140cf2a67
@comment binary:0
opt/local/include/groebner/BinomialArray.h
@comment MD5:a1a8109315e0b28c225d14a09e0f2b4d
@comment binary:0
opt/local/include/groebner/BinomialArrayStream.h
@comment MD5:9a792429d36264258d8dc335f6e46fa0
@comment binary:0
opt/local/include/groebner/BinomialCollection.h
@comment MD5:34e6e24936b33304ce39d8e53d8f85e3
@comment binary:0
opt/local/include/groebner/BinomialFactory.h
@comment MD5:443acce58b8a84b0d07064c10f6348f3
@comment binary:0
opt/local/include/groebner/BinomialSet.h
@comment MD5:b032e57450edfb59cc13b2289a126f90
@comment binary:0
opt/local/include/groebner/BinomialSetStream.h
@comment MD5:11fcbb6e03649b47ffd896f7fa0a7e04
@comment binary:0
opt/local/include/groebner/BinomialStream.h
@comment MD5:ea32247045ecab568b8e9332f9e15d4d
@comment binary:0
opt/local/include/groebner/BitSet.h
@comment MD5:fb29e52281445f251624943355dc9fee
@comment binary:0
opt/local/include/groebner/BitSetStream.h
@comment MD5:233f25c06e58b17f89e15283cccc9d4e
@comment binary:0
opt/local/include/groebner/Bounded.h
@comment MD5:561fd8eed974da4e4e84cea8616233db
@comment binary:0
opt/local/include/groebner/CircuitImplementation.h
@comment MD5:df491dbfcaca16fe3696b0aa95afcb19
@comment binary:0
opt/local/include/groebner/CircuitImplementation.tpp
@comment MD5:b22be44994fb69a0b06af3cc38a675b8
@comment binary:0
opt/local/include/groebner/CircuitMatrixAlgorithm.h
@comment MD5:7ec5adcc272c7e72b1a4d7b5bb9ef042
@comment binary:0
opt/local/include/groebner/CircuitMatrixAlgorithm.tpp
@comment MD5:78799dff96ea7fdf42f0de40e6fcacad
@comment binary:0
opt/local/include/groebner/CircuitOptions.h
@comment MD5:df28655a889cbbdeed9fd3043a1b325a
@comment binary:0
opt/local/include/groebner/CircuitSupportAlgorithm.h
@comment MD5:bb5df9fbd4434659d8ea565178974b1a
@comment binary:0
opt/local/include/groebner/CircuitSupportAlgorithm.tpp
@comment MD5:bac51d5db692544fabbab2ae40988e21
@comment binary:0
opt/local/include/groebner/CircuitsAPI.h
@comment MD5:62b396411a6794becbdf66c28879c539
@comment binary:0
opt/local/include/groebner/Completion.h
@comment MD5:8ac210715579135d24584266f14a95e8
@comment binary:0
opt/local/include/groebner/DataType.h
@comment MD5:37aebf399a5a2bb85b690ab55ee41a2d
@comment binary:0
opt/local/include/groebner/Debug.h
@comment MD5:270c6e57ad5415c66d789f9ef7781f3a
@comment binary:0
opt/local/include/groebner/DiagonalAlgorithm.h
@comment MD5:81eb0cad51254a59ab3bc5bdb577c97b
@comment binary:0
opt/local/include/groebner/DiagonalAlgorithm.tpp
@comment MD5:ecc9e70379c354cc33f6d11646a7c7a2
@comment binary:0
opt/local/include/groebner/EliminateAlgorithm.h
@comment MD5:60bb5439bb5aae7cc5b10d95540c2d29
@comment binary:0
opt/local/include/groebner/Euclidean.h
@comment MD5:a4fe2e16f7bb6ff6645ea6f1a3c7096f
@comment binary:0
opt/local/include/groebner/Extract.h
@comment MD5:9cddae2f35859fe6cb11d4830eed06e0
@comment binary:0
opt/local/include/groebner/Feasible.h
@comment MD5:500c81395b8ee199cda5ec42f4e079da
@comment binary:0
opt/local/include/groebner/FeasibleStream.h
@comment MD5:dcf60555e71b28bb43d231d66e127b25
@comment binary:0
opt/local/include/groebner/Filter.h
@comment MD5:43e8eb4e23b6d795f7ec3658d15f7f2e
@comment binary:0
opt/local/include/groebner/FilterReduction.h
@comment MD5:2b7c5431a7fb9e9bbef77c6f134ef42a
@comment binary:0
opt/local/include/groebner/FlipCompletion.h
@comment MD5:4638422dfb05c0e3de21ec9413a24d22
@comment binary:0
opt/local/include/groebner/GeneratingSet.h
@comment MD5:38f8df98e1a424e8d370f34d286a6705
@comment binary:0
opt/local/include/groebner/Generation.h
@comment MD5:b26b47c9082f888ac7287e0573b1ff97
@comment binary:0
opt/local/include/groebner/Globals.h
@comment MD5:0279d98f1856ebe0af8cb13798e49eb6
@comment binary:0
opt/local/include/groebner/Grading.h
@comment MD5:8de174896d3b773c11173cdc8e8a6eaf
@comment binary:0
opt/local/include/groebner/GroebnerBasis.h
@comment MD5:c2aae119eccc228d91574c7821cf61ad
@comment binary:0
opt/local/include/groebner/HermiteAlgorithm.h
@comment MD5:c10b85d70eea34cf86813963773f79aa
@comment binary:0
opt/local/include/groebner/HermiteAlgorithm.tpp
@comment MD5:2874581f0ed60bab0712e62095ba345a
@comment binary:0
opt/local/include/groebner/HybridGenSet.h
@comment MD5:38e929e4ee9412291ec2c78a0af14b2a
@comment binary:0
opt/local/include/groebner/Index.h
@comment MD5:efed0a24db39bf6a1a525ab6f10bf7bb
@comment binary:0
opt/local/include/groebner/IndexBinomialSet.h
@comment MD5:e8021848b3691a94ccddf55c155b5b53
@comment binary:0
opt/local/include/groebner/IndexSetConverter.h
@comment MD5:8150d11c13fac466703f82925d114cfc
@comment binary:0
opt/local/include/groebner/LatticeBasis.h
@comment MD5:5faa2ec6470c5613c05019d58bac170f
@comment binary:0
opt/local/include/groebner/LongDenseIndexSet.h
@comment MD5:99ac7fd181908889ffa98586b855b8d8
@comment binary:0
opt/local/include/groebner/LongDenseIndexSetStream.h
@comment MD5:c0d6da9aeca896549c5acd8278f12e7a
@comment binary:0
opt/local/include/groebner/Markov.h
@comment MD5:d74244aee4db285e9b1c6f1b519112c8
@comment binary:0
opt/local/include/groebner/MaxMinGenSet.h
@comment MD5:97bdb959673e312dfb4bee3629ae766c
@comment binary:0
opt/local/include/groebner/Minimize.h
@comment MD5:282122efd46db208abe88221e221ae93
@comment binary:0
opt/local/include/groebner/MinimizeOptions.h
@comment MD5:03d94f684e80016968f8630de8a28990
@comment binary:0
opt/local/include/groebner/OnesReduction.h
@comment MD5:23e47be917a252925d35f5fa349f67c9
@comment binary:0
opt/local/include/groebner/OnesTree.h
@comment MD5:c63c64b33cfb7d35e10c9fb4e8c1a2a1
@comment binary:0
opt/local/include/groebner/OnesTree.tpp
@comment MD5:bb9f06e5ebd0043d1e0573362b3d460b
@comment binary:0
opt/local/include/groebner/Optimise.h
@comment MD5:2d92fe7383867e919f78b70ed8d3473a
@comment binary:0
opt/local/include/groebner/Options.h
@comment MD5:22d213680a57d86a3a4fd549e071fb18
@comment binary:0
opt/local/include/groebner/OrderedCompletion.h
@comment MD5:6dbfaa60333f025ce53ec666a948547b
@comment binary:0
opt/local/include/groebner/Permutation.h
@comment MD5:e25d86d55b7d2a94aabd0d14c1e9b634
@comment binary:0
opt/local/include/groebner/ProjectLiftGenSet.h
@comment MD5:cf325b5160ed19ab0d22ce9b750ac8a3
@comment binary:0
opt/local/include/groebner/QSolveAPI.h
@comment MD5:f0817fca038c92b29a6809c0f8b68182
@comment binary:0
opt/local/include/groebner/QSolveAlgorithm.h
@comment MD5:6236218f700ade0001ae3944f576b761
@comment binary:0
opt/local/include/groebner/QSolveConsOrder.h
@comment MD5:d12599649e017bc28d30afe145602b2c
@comment binary:0
opt/local/include/groebner/QSolveVariant.h
@comment MD5:e483c4281fb7bafe5d4c39679357ccbb
@comment binary:0
opt/local/include/groebner/RayAlgorithm.h
@comment MD5:343386a98681f0a33bafa155e8722659
@comment binary:0
opt/local/include/groebner/RayImplementation.h
@comment MD5:9195799c5bd25847e63d679a14db1a53
@comment binary:0
opt/local/include/groebner/RayImplementation.tpp
@comment MD5:c47464f442135586bbeb85254421048f
@comment binary:0
opt/local/include/groebner/RayMatrixAlgorithm.h
@comment MD5:88bc89599dd35a2526d064647fc8ea2c
@comment binary:0
opt/local/include/groebner/RayMatrixAlgorithm.tpp
@comment MD5:11e1334bac1f052c79df71aeceb634ca
@comment binary:0
opt/local/include/groebner/RaySupportAlgorithm.h
@comment MD5:52317865c96e22997555afcc61b56d72
@comment binary:0
opt/local/include/groebner/RaySupportAlgorithm.tpp
@comment MD5:ec628566b3afbf072cb0a191c5660d16
@comment binary:0
opt/local/include/groebner/RaysAPI.h
@comment MD5:5c92b6159dd2d1e7e691ca3030ac08a0
@comment binary:0
opt/local/include/groebner/Reduction.h
@comment MD5:6a258734dacfd4f7114e453c22d59ce7
@comment binary:0
opt/local/include/groebner/SaturationGenSet.h
@comment MD5:fb98c7687fd3190c8552c7f8b90582e4
@comment binary:0
opt/local/include/groebner/ShortDenseIndexSet.h
@comment MD5:7c02963840f2629798eed9f4226a102f
@comment binary:0
opt/local/include/groebner/ShortDenseIndexSetStream.h
@comment MD5:676fb634f3bd97c6f842d65e9d587d41
@comment binary:0
opt/local/include/groebner/SignPattern.h
@comment MD5:887de58ef95fcc2b8ed7de2eaad8d55f
@comment binary:0
opt/local/include/groebner/Size.h
@comment MD5:b08c7761b3f4d277b5694ca9f28847fd
@comment binary:0
opt/local/include/groebner/Statistics.h
@comment MD5:7710661614e7d471202b5a08822ac511
@comment binary:0
opt/local/include/groebner/SupportTree.h
@comment MD5:e991d0c56bd7a19067e7a3d807d43bb3
@comment binary:0
opt/local/include/groebner/SupportTree.tpp
@comment MD5:c5558763edc0fa8629256b5ce413b675
@comment binary:0
opt/local/include/groebner/SyzygyCompletion.h
@comment MD5:84199bcd5da07b50a94ae4c9e430982c
@comment binary:0
opt/local/include/groebner/SyzygyGeneration.h
@comment MD5:dba917b1c1c4f6c9c1f096aadc5428e6
@comment binary:0
opt/local/include/groebner/TermOrder.h
@comment MD5:cbf6708b16a9b3ac32227d0879923a48
@comment binary:0
opt/local/include/groebner/Timer.h
@comment MD5:ea94ab10ac37586fd8e55a78e05c3f42
@comment binary:0
opt/local/include/groebner/Truncate.h
@comment MD5:22ba13147c8027c00098cd86f3f3d76e
@comment binary:0
opt/local/include/groebner/Vector.h
@comment MD5:8300e08f0b720120e43910491207927e
@comment binary:0
opt/local/include/groebner/VectorArray.h
@comment MD5:40b03274fc18ab3bc5335af593acc496
@comment binary:0
opt/local/include/groebner/VectorArrayAPI.h
@comment MD5:f2e220eaeaddf0beddc7054b12ae4dae
@comment binary:0
opt/local/include/groebner/VectorArrayStream.h
@comment MD5:eb19a68b028dd74527978536666e3fa5
@comment binary:0
opt/local/include/groebner/VectorStream.h
@comment MD5:2f80887110278859b17934063c6b3f27
@comment binary:0
opt/local/include/groebner/WalkAlgorithm.h
@comment MD5:8c66f0ff5f3f078d6041ef12df020fb3
@comment binary:0
opt/local/include/groebner/WalkOptions.h
@comment MD5:e76c493b9430d0b99da3a066c5c427a3
@comment binary:0
opt/local/include/groebner/Weight.h
@comment MD5:60e1849c7d3df65d2e1a662b45316c4d
@comment binary:0
opt/local/include/groebner/WeightAlgorithm.h
@comment MD5:7b8c3ab93a7d929f93f7affd87564cd3
@comment binary:0
opt/local/include/groebner/WeightedBinomialSet.h
@comment MD5:43775ecc64dc0342406477b8be0ceaf9
@comment binary:0
opt/local/include/groebner/WeightedReduction.h
@comment MD5:c48688dc0c8ece6595d4187850839b83
@comment binary:0
opt/local/include/util/genmodel.h
@comment MD5:17b914ba707bce660563a09007c92eff
@comment binary:0
opt/local/include/util/gensymm.h
@comment MD5:63a6fdf665c235c406faf0f421364500
@comment binary:0
opt/local/include/util/myheader.h
@comment MD5:623dc5939bd4803729eb09d84ad5148d
@comment binary:0
opt/local/include/util/orbit.h
@comment MD5:34ce734c3d3309256de87c2222c83b3e
@comment binary:0
opt/local/include/util/output.h
@comment MD5:dd7f85c46a5a66f81621d996cfb4b329
@comment binary:0
opt/local/include/util/print.h
@comment MD5:409317dda40364465b1fb6886a489a88
@comment binary:0
opt/local/include/util/vector.h
@comment MD5:9e8cffe7d535e95d622c622244c4ce61
@comment binary:0
opt/local/include/zsolve/Algorithm.hpp
@comment MD5:5a7a9f4dd85610b3c1f0b0bba1c9ad59
@comment binary:0
opt/local/include/zsolve/BitSet.h
@comment MD5:b2d8b182e274d74b39362f565a9c3d58
@comment binary:0
opt/local/include/zsolve/BoundAPI.hpp
@comment MD5:f37152cf33fe5c1a7e3ec494b9b1baf4
@comment binary:0
opt/local/include/zsolve/Controller.hpp
@comment MD5:5c051f9c68256092e959ecdb92537b92
@comment binary:0
opt/local/include/zsolve/DefaultController.hpp
@comment MD5:268245cc2d8b5a87c2de949736b5d50d
@comment binary:0
opt/local/include/zsolve/Exception.h
@comment MD5:b54d59a3f7f11f2c22e4ff4c5934f384
@comment binary:0
opt/local/include/zsolve/GraverAPI.hpp
@comment MD5:1d0ed93b0adefc816ccb0d9ff6125b51
@comment binary:0
opt/local/include/zsolve/Heuristics.hpp
@comment MD5:5e76613a7d26af8bd867540e3e7ad91c
@comment binary:0
opt/local/include/zsolve/HilbertAPI.hpp
@comment MD5:7ba0253d7c8c82aa33a94769fc064bf0
@comment binary:0
opt/local/include/zsolve/Integer.h
@comment MD5:621b2ade25014c00969800eb53c3cbf5
@comment binary:0
opt/local/include/zsolve/Lattice.hpp
@comment MD5:516af5f4035ef93cfa21a1ea7f3264c4
@comment binary:0
opt/local/include/zsolve/LinearSystem.hpp
@comment MD5:b9eb15a5f1b2a38fa5653853ab531464
@comment binary:0
opt/local/include/zsolve/Norms.hpp
@comment MD5:5916c4993f3763065e2bd607606cb45b
@comment binary:0
opt/local/include/zsolve/Options.h
@comment MD5:6b6e81836f193a90db3b2f56bcc64596
@comment binary:0
opt/local/include/zsolve/RelAPI.h
@comment MD5:8de8ff4afe5c68e9ad3a1d0a25e9c65a
@comment binary:0
opt/local/include/zsolve/Relation.hpp
@comment MD5:70185eeb91d3e0d3d3849c925bff2931
@comment binary:0
opt/local/include/zsolve/SignAPI.h
@comment MD5:d2c680a6309751c9d5d50088827f019a
@comment binary:0
opt/local/include/zsolve/Timer.h
@comment MD5:aff6732f390fc70a6ab8cf35f1784bbf
@comment binary:0
opt/local/include/zsolve/Variables.hpp
@comment MD5:5427c994c6a308785a4f4ad920ecdb88
@comment binary:0
opt/local/include/zsolve/Vector.hpp
@comment MD5:895ac0a46f63bc41913f3645785c2680
@comment binary:0
opt/local/include/zsolve/VectorArray.hpp
@comment MD5:c2d045ef69757a38034e0fd9dafebb42
@comment binary:0
opt/local/include/zsolve/VectorArrayAPI.hpp
@comment MD5:77e71174ded2ffbf4a545df1b6b6a278
@comment binary:0
opt/local/include/zsolve/ZSolveAPI.hpp
@comment MD5:997da20bb5e713f33005f60b3ea22588
@comment binary:0
opt/local/include/zsolve/zsolve.h
@comment MD5:75982ed98f55b72bc7603e08f12547f3
@comment binary:0
opt/local/lib/lib4ti2common.0.dylib
@comment MD5:fea00f5c534b0280aa014e4de50f5d9a
@comment binary:1
opt/local/lib/lib4ti2common.dylib
@comment MD5:fea00f5c534b0280aa014e4de50f5d9a
@comment binary:0
opt/local/lib/lib4ti2common.la
@comment MD5:f0b6675e775b63584dfe85246e8065f5
@comment binary:0
opt/local/lib/lib4ti2gmp.0.dylib
@comment MD5:21745a2d8f4c9ae86271b0884011ce84
@comment binary:1
opt/local/lib/lib4ti2gmp.dylib
@comment MD5:21745a2d8f4c9ae86271b0884011ce84
@comment binary:0
opt/local/lib/lib4ti2gmp.la
@comment MD5:b71e02cc1ccb1d975ff6e3a96b76c9a3
@comment binary:0
opt/local/lib/lib4ti2int32.0.dylib
@comment MD5:500d7a9d941473653c654f6cec440239
@comment binary:1
opt/local/lib/lib4ti2int32.dylib
@comment MD5:500d7a9d941473653c654f6cec440239
@comment binary:0
opt/local/lib/lib4ti2int32.la
@comment MD5:52c512b89eebfe81c54b4e8e729951f9
@comment binary:0
opt/local/lib/lib4ti2int64.0.dylib
@comment MD5:126557050d1c3a4efd7cd6d42f93b77a
@comment binary:1
opt/local/lib/lib4ti2int64.dylib
@comment MD5:126557050d1c3a4efd7cd6d42f93b77a
@comment binary:0
opt/local/lib/lib4ti2int64.la
@comment MD5:1ddd4c39fa417e3be6229e384473d959
@comment binary:0
opt/local/lib/lib4ti2util.0.dylib
@comment MD5:3242c874ea9bb9ee207592fdc011f449
@comment binary:1
opt/local/lib/lib4ti2util.dylib
@comment MD5:3242c874ea9bb9ee207592fdc011f449
@comment binary:0
opt/local/lib/lib4ti2util.la
@comment MD5:fa4de9bc3d57d6bcf2172aea8430a2be
@comment binary:0
opt/local/lib/libzsolve.0.dylib
@comment MD5:98e575a602911847b7ed88e9a1670b47
@comment binary:1
opt/local/lib/libzsolve.dylib
@comment MD5:98e575a602911847b7ed88e9a1670b47
@comment binary:0
opt/local/lib/libzsolve.la
@comment MD5:4d3bd06c152c30b13cd886676ee9a47b
@comment binary:0
opt/local/share/doc/4ti2/4ti2_manual.pdf
@comment MD5:776fd090eaea12f57e7b63e1280c2504
@comment binary:0
opt/local/share/doc/4ti2/AUTHORS
@comment MD5:32bf92f2947941a149e5b371a998a51e
@comment binary:0
opt/local/share/doc/4ti2/COPYING
@comment MD5:751419260aa954499f7abaabaa882bbe
@comment binary:0
opt/local/share/doc/4ti2/NEWS
@comment MD5:5ee45b51ccf5af82d62589bc5a8267e9
@comment binary:0
opt/local/share/doc/4ti2/README.md
@comment MD5:9a7d5efb6865a7a57de02ede870a379f
@comment binary:0
opt/local/share/doc/4ti2/THANKS
@comment MD5:2a17af131ea59eb83f37b31812cc7869
@comment binary:0
@ignore
+COMMENT
@ignore
+CONTENTS
@ignore
+DESC
@ignore
+PORTFILE
@ignore
+STATE
@cxx_stdlib libc++
@cxx_stdlib_overridden 0
