The following packages are orphaned and will be retired when they are orphaned for six weeks, unless someone adopts them. If you know for sure that the package should be retired, please do so now with a proper reason: https://fedoraproject.org/wiki/How_to_remove_a_package_at_end_of_life Note: If you received this mail directly you (co)maintain one of the affected packages or a package that depends on one. Please adopt the affected package or retire your depending package to avoid broken dependencies, otherwise your package will be retired when the affected package gets retired. Package (co)maintainers Status Change ================================================================================ ant-contrib java-maint-sig, mizdebsk, 4 weeks ago orphan apache-ivy java-maint-sig, mizdebsk, 0 weeks ago orphan apache-rat mizdebsk, orphan 2 weeks ago bugzilla2fedmsg orphan 2 weeks ago cbi-plugins eclipse-sig, kdaniel, mbooth, 1 weeks ago orphan, rgrunber eclipse-ecf eclipse-sig, kdaniel, mbooth, 1 weeks ago orphan, rgrunber eclipse-egit eclipse-sig, jerboaa, 1 weeks ago jjohnstn, mbooth, orphan, rgrunber eclipse-emf eclipse-sig, jjohnstn, mbooth, 1 weeks ago orphan, rgrunber eclipse-gef eclipse-sig, mbooth, orphan, 1 weeks ago rgrunber eclipse-jgit eclipse-sig, jerboaa, 1 weeks ago jjohnstn, mbooth, orphan, rgrunber eclipse-license eclipse-sig, mbooth, orphan 1 weeks ago eclipse-m2e-workspace eclipse-sig, mbooth, mizdebsk, 1 weeks ago orphan eclipse-subclipse eclipse-sig, kdaniel, mbooth, 1 weeks ago orphan eclipse-webtools eclipse-sig, galileo, mbooth, 1 weeks ago orphan felix-gogo-command orphan 1 weeks ago felix-gogo-parent mizdebsk, orphan 1 weeks ago felix-gogo-runtime mizdebsk, orphan 1 weeks ago felix-gogo-shell mizdebsk, orphan 1 weeks ago felix-scr jerboaa, mbooth, orphan 1 weeks ago icu4j fnasser, kdaniel, mbooth, 1 weeks ago mizdebsk, orphan jakarta-commons-httpclient java-maint-sig, mizdebsk, 0 weeks ago orphan jlems neuro-sig, orphan 2 weeks ago jsemver orphan 3 weeks ago libcommuni atim, orphan 3 weeks ago libspf2 orphan 1 weeks ago lucene dchen, eclipse-sig, jerboaa, 1 weeks ago lef, msimacek, orphan, rgrunber mkdocs orphan 1 weeks ago mkdocs-alabaster orphan 1 weeks ago mkdocs-bootstrap orphan 1 weeks ago mkdocs-bootswatch orphan 1 weeks ago mkdocs-cinder orphan 1 weeks ago mkdocs-markdownextradata-plugin orphan 0 weeks ago mkdocs-material orphan 1 weeks ago nohang atim, orphan 2 weeks ago olpc-netutils orphan 3 weeks ago olpc-switch-desktop orphan 2 weeks ago portals-pom orphan 2 weeks ago python-django-braces orphan 3 weeks ago python-flask-script ishcherb, jkaluza, orphan, 0 weeks ago ralph python-getkey orphan 3 weeks ago python-lunr orphan 1 weeks ago python-mdx_gh_links orphan 1 weeks ago python-opencensus orphan 0 weeks ago python-pymdown-extensions orphan, sgallagh 1 weeks ago python-ruamel-std-pathlib orphan 5 weeks ago rhino ebaron, orphan 1 weeks ago rubygem-hashie jstribny, orphan, valtri 3 weeks ago rubygem-logstasher orphan, valtri 1 weeks ago rust-line_drawing orphan, rust-sig 0 weeks ago rust-tower-test orphan, rust-sig 5 weeks ago rust-tower-util orphan, rust-sig 5 weeks ago spectrwm larsks, lsm5, orphan 5 weeks ago svgsalamander orphan 2 weeks ago takari-polyglot mbooth, orphan 1 weeks ago tycho eclipse-sig, kdaniel, mbooth, 1 weeks ago mizdebsk, orphan The following packages require above mentioned packages: Depending on: ant-contrib (6), status change: 2021-07-26 (4 weeks ago) eclipse-gef (maintained by: eclipse-sig, mbooth, orphan, rgrunber) eclipse-gef-3.11.0-16.fc34.src requires ant-contrib = 1.0-0.40.b3.fc34 forbidden-apis (maintained by: jvanek, zzambers) forbidden-apis-2.5-10.fc34.src requires ant-contrib = 1.0-0.40.b3.fc34 java-sleep (maintained by: orion) java-sleep-2.1-23.fc35.src requires ant-contrib = 1.0-0.40.b3.fc34 eclipse-subclipse (maintained by: eclipse-sig, kdaniel, mbooth, orphan) eclipse-subclipse-4.3.3-2.fc34.noarch requires osgi(org.eclipse.draw2d) = 3.10.100.202102041646, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-subclipse-4.3.3-2.fc34.src requires eclipse-gef = 3.11.0-16.fc34 eclipse-webtools (maintained by: eclipse-sig, galileo, mbooth, orphan) eclipse-webtools-3.21.0-1.fc35.src requires eclipse-gef = 3.11.0-16.fc34 eclipse-webtools-common-3.21.0-1.fc35.noarch requires eclipse-gef = 3.11.0-16.fc34, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-webtools-sourceediting-3.21.0-1.fc35.noarch requires osgi(org.eclipse.gef) = 3.11.0.202102041646 moconti (maintained by: orion) moconti-102609-20.fc35.noarch requires java-sleep = 2.1-23.fc35 moconti-102609-20.fc35.src requires java-sleep = 2.1-23.fc35 Depending on: apache-ivy (8), status change: 2021-08-18 (0 weeks ago) ant-contrib (maintained by: java-maint-sig, mizdebsk, orphan) ant-contrib-1.0-0.40.b3.fc34.src requires apache-ivy = 2.5.0-2.fc34 xmvn-connector-ivy (maintained by: mizdebsk) xmvn-connector-ivy-4.0.0~20210707.d300ce6-2.fc35.src requires mvn(org.apache.ivy:ivy) = 2.5.0.local.19700112153424 eclipse-gef (maintained by: eclipse-sig, mbooth, orphan, rgrunber) eclipse-gef-3.11.0-16.fc34.src requires ant-contrib = 1.0-0.40.b3.fc34 forbidden-apis (maintained by: jvanek, zzambers) forbidden-apis-2.5-10.fc34.src requires ant-contrib = 1.0-0.40.b3.fc34 java-sleep (maintained by: orion) java-sleep-2.1-23.fc35.src requires ant-contrib = 1.0-0.40.b3.fc34 eclipse-subclipse (maintained by: eclipse-sig, kdaniel, mbooth, orphan) eclipse-subclipse-4.3.3-2.fc34.noarch requires osgi(org.eclipse.draw2d) = 3.10.100.202102041646, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-subclipse-4.3.3-2.fc34.src requires eclipse-gef = 3.11.0-16.fc34 eclipse-webtools (maintained by: eclipse-sig, galileo, mbooth, orphan) eclipse-webtools-3.21.0-1.fc35.src requires eclipse-gef = 3.11.0-16.fc34 eclipse-webtools-common-3.21.0-1.fc35.noarch requires eclipse-gef = 3.11.0-16.fc34, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-webtools-sourceediting-3.21.0-1.fc35.noarch requires osgi(org.eclipse.gef) = 3.11.0.202102041646 moconti (maintained by: orion) moconti-102609-20.fc35.noarch requires java-sleep = 2.1-23.fc35 moconti-102609-20.fc35.src requires java-sleep = 2.1-23.fc35 Depending on: eclipse-emf (1), status change: 2021-08-11 (1 weeks ago) eclipse-webtools (maintained by: eclipse-sig, galileo, mbooth, orphan) eclipse-webtools-3.21.0-1.fc35.src requires eclipse-emf-runtime = 1:2.25.0-1.fc35, eclipse-xsd = 2.25.0-1.fc35 eclipse-webtools-common-3.21.0-1.fc35.noarch requires osgi(org.eclipse.emf.edit) = 2.16.0.v20210310.2325 eclipse-webtools-sourceediting-3.21.0-1.fc35.noarch requires osgi(org.eclipse.emf.ecore.edit) = 2.13.0.v20210310.2325, osgi(org.eclipse.emf.ecore.edit) = 2.14.0.v20210310.2325, osgi(org.eclipse.emf.edit.ui) = 2.19.0.v20210310.2325, osgi(org.eclipse.emf.edit.ui) = 2.20.0.v20210310.2325, osgi(org.eclipse.xsd) = 2.18.0.v20210310.2325, osgi(org.eclipse.xsd) = 2.19.0.v20210310.2325, osgi(org.eclipse.xsd.edit) = 2.11.0.v20210310.2325, osgi(org.eclipse.xsd.edit) = 2.13.0.v20210310.2325 Depending on: eclipse-gef (2), status change: 2021-08-11 (1 weeks ago) eclipse-subclipse (maintained by: eclipse-sig, kdaniel, mbooth, orphan) eclipse-subclipse-4.3.3-2.fc34.noarch requires osgi(org.eclipse.draw2d) = 3.10.100.202102041646, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-subclipse-4.3.3-2.fc34.src requires eclipse-gef = 3.11.0-16.fc34 eclipse-webtools (maintained by: eclipse-sig, galileo, mbooth, orphan) eclipse-webtools-3.21.0-1.fc35.src requires eclipse-gef = 3.11.0-16.fc34 eclipse-webtools-common-3.21.0-1.fc35.noarch requires eclipse-gef = 3.11.0-16.fc34, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-webtools-sourceediting-3.21.0-1.fc35.noarch requires osgi(org.eclipse.gef) = 3.11.0.202102041646 Depending on: eclipse-jgit (1), status change: 2021-08-11 (1 weeks ago) eclipse-egit (maintained by: eclipse-sig, jerboaa, jjohnstn, mbooth, orphan, rgrunber) eclipse-egit-5.11.0-1.fc35.noarch requires eclipse-jgit = 5.11.0-1.fc35 eclipse-egit-5.11.0-1.fc35.src requires eclipse-jgit = 5.11.0-1.fc35 Depending on: eclipse-license (5), status change: 2021-08-11 (1 weeks ago) eclipse-ecf (maintained by: eclipse-sig, kdaniel, mbooth, orphan, rgrunber) eclipse-ecf-3.14.19-2.fc34.src requires eclipse-license2 = 2.0.2-3.fc34 eclipse-egit (maintained by: eclipse-sig, jerboaa, jjohnstn, mbooth, orphan, rgrunber) eclipse-egit-5.11.0-1.fc35.src requires eclipse-license2 = 2.0.2-3.fc34 eclipse-gef (maintained by: eclipse-sig, mbooth, orphan, rgrunber) eclipse-gef-3.11.0-16.fc34.src requires eclipse-license1 = 1.0.1-13.fc34 eclipse-webtools (maintained by: eclipse-sig, galileo, mbooth, orphan) eclipse-webtools-3.21.0-1.fc35.src requires eclipse-gef = 3.11.0-16.fc34, eclipse-license2 = 2.0.2-3.fc34 eclipse-webtools-common-3.21.0-1.fc35.noarch requires eclipse-gef = 3.11.0-16.fc34, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-webtools-sourceediting-3.21.0-1.fc35.noarch requires osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-subclipse (maintained by: eclipse-sig, kdaniel, mbooth, orphan) eclipse-subclipse-4.3.3-2.fc34.noarch requires osgi(org.eclipse.draw2d) = 3.10.100.202102041646, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-subclipse-4.3.3-2.fc34.src requires eclipse-gef = 3.11.0-16.fc34 Depending on: felix-gogo-parent (4), status change: 2021-08-11 (1 weeks ago) felix-gogo-command (maintained by: orphan) felix-gogo-command-1.1.2-2.fc35.src requires mvn(org.apache.felix:gogo-parent:pom:) = 6, mvn(org.apache.felix:org.apache.felix.gogo.runtime) = 1.1.4 felix-gogo-command-1.1.2-2.fc35.noarch requires mvn(org.apache.felix:org.apache.felix.gogo.runtime) = 1.1.4 felix-gogo-runtime (maintained by: mizdebsk, orphan) felix-gogo-runtime-1.1.4-2.fc35.src requires mvn(org.apache.felix:gogo-parent:pom:) = 6 felix-gogo-shell (maintained by: mizdebsk, orphan) felix-gogo-shell-1.1.4-2.fc35.src requires mvn(org.apache.felix:gogo-parent:pom:) = 6, mvn(org.apache.felix:org.apache.felix.gogo.runtime) = 1.1.4 felix-gogo-shell-1.1.4-2.fc35.noarch requires mvn(org.apache.felix:org.apache.felix.gogo.runtime) = 1.1.4 felix-scr (maintained by: jerboaa, mbooth, orphan) felix-scr-2.1.26-2.fc35.src requires mvn(org.apache.felix:org.apache.felix.gogo.runtime) = 1.1.4 Depending on: felix-gogo-runtime (3), status change: 2021-08-11 (1 weeks ago) felix-gogo-command (maintained by: orphan) felix-gogo-command-1.1.2-2.fc35.noarch requires mvn(org.apache.felix:org.apache.felix.gogo.runtime) = 1.1.4 felix-gogo-command-1.1.2-2.fc35.src requires mvn(org.apache.felix:org.apache.felix.gogo.runtime) = 1.1.4 felix-gogo-shell (maintained by: mizdebsk, orphan) felix-gogo-shell-1.1.4-2.fc35.noarch requires mvn(org.apache.felix:org.apache.felix.gogo.runtime) = 1.1.4 felix-gogo-shell-1.1.4-2.fc35.src requires mvn(org.apache.felix:org.apache.felix.gogo.runtime) = 1.1.4 felix-scr (maintained by: jerboaa, mbooth, orphan) felix-scr-2.1.26-2.fc35.src requires mvn(org.apache.felix:org.apache.felix.gogo.runtime) = 1.1.4 Depending on: icu4j (19), status change: 2021-08-11 (1 weeks ago) antlr4-project (maintained by: jjames) antlr4-4.9.2-3.fc35.noarch requires mvn(com.ibm.icu:icu4j) = 68.2 antlr4-project-4.9.2-3.fc35.src requires mvn(com.ibm.icu:icu4j) = 68.2, mvn(org.antlr:antlr4-maven-plugin) = 4.9.2 lucene (maintained by: dchen, eclipse-sig, jerboaa, lef, msimacek, orphan, rgrunber) lucene-8.8.2-1.fc35.src requires mvn(com.ibm.icu:icu4j) = 68.2, mvn(org.antlr:antlr4-runtime) = 4.9.2 lucene-analyzers-icu-8.8.2-1.fc35.noarch requires mvn(com.ibm.icu:icu4j) = 68.2 lucene-expressions-8.8.2-1.fc35.noarch requires mvn(org.antlr:antlr4-runtime) = 4.9.2 azure-cli (maintained by: mhayden) azure-cli-2.27.1-1.fc36.noarch requires python3.10dist(antlr4-python3-runtime) = 4.9.2 azure-cli-2.27.1-1.fc36.src requires python3dist(antlr4-python3-runtime) = 4.9.2 coq (maintained by: amdunn, jjames) coq-8.13.2-3.fc35.src requires antlr4 = 4.9.2-3.fc35, python3dist(antlr4-python3-runtime) = 4.9.2 openjfx (maintained by: deamn) openjfx-3:11.0.9.2-6.fc35.src requires mvn(org.antlr:antlr4-maven-plugin) = 4.9.2 javadocofflinesearch (maintained by: jvanek) javadocofflinesearch-2.2-15.fc35.noarch requires lucene-analysis = 8.8.2-1.fc35, lucene-backward-codecs = 8.8.2-1.fc35, lucene-core = 8.8.2-1.fc35, lucene-queries = 8.8.2-1.fc35, lucene-queryparser = 8.8.2-1.fc35 javadocofflinesearch-2.2-15.fc35.src requires lucene-analysis = 8.8.2-1.fc35, lucene-core = 8.8.2-1.fc35, lucene-queries = 8.8.2-1.fc35, lucene-queryparser = 8.8.2-1.fc35 maven-indexer (maintained by: galileo, mbooth, mizdebsk) maven-indexer-6.0.0-8.fc35.noarch requires lucene = 8.8.2-1.fc35, mvn(org.apache.lucene:lucene-analyzers-common) = 8.8.2, mvn(org.apache.lucene:lucene-backward-codecs) = 8.8.2, mvn(org.apache.lucene:lucene-core) = 8.8.2, mvn(org.apache.lucene:lucene-highlighter) = 8.8.2, mvn(org.apache.lucene:lucene-queryparser) = 8.8.2 maven-indexer-6.0.0-8.fc35.src requires mvn(org.apache.lucene:lucene-analyzers-common) = 8.8.2, mvn(org.apache.lucene:lucene-backward-codecs) = 8.8.2, mvn(org.apache.lucene:lucene-core) = 8.8.2, mvn(org.apache.lucene:lucene-highlighter) = 8.8.2, mvn(org.apache.lucene:lucene-queryparser) = 8.8.2 ocaml-menhir (maintained by: jjames) coq-menhirlib-20210419-2.fc35.x86_64 requires coq(x86-64) = 8.13.2-3.fc35 ocaml-menhir-20210419-2.fc35.src requires coq = 8.13.2-3.fc35 flocq (maintained by: jjames) flocq-3.4.2-3.fc35.src requires coq = 8.13.2-3.fc35 flocq-3.4.2-3.fc35.x86_64 requires coq(x86-64) = 8.13.2-3.fc35, ocaml(AcyclicGraph) = 9f5c479581b208900c9204d7eb3878bb, ocaml(CArray) = 9eb198e16f04fdf915dd08d3babb4536, ocaml(CAst) = e63bfb56e607969115781b205cce5d2e, ocaml(CEphemeron) = 499eb6b86859c0f2b462d7da65f4c47c, ocaml(CList) = 167649d2aa5400991b14bae4e3a0f144, ocaml(CMap) = f1d299d3e95d548efb697ef94f06efa7, ocaml(CPrimitives) = 1b3b000af12a969c9b335581f6f491a6, ocaml(CSet) = 5f90eac69800e327bb1987d2275ed40e, ocaml(CSig) = 300540e0ab1127cad5fdde9b549de57f, ocaml(CString) = 2396088f35976f37d67c15e7f822e848, ocaml(CUnix) = 4ce31dd6d1d086487db745e5e02c01b3, ocaml(Constr) = c6f97c1f9206d449fc39219ed5f5f785, ocaml(Context) = bbc61131b244562c80868a91a9ea90e4, ocaml(Conv_oracle) = 4c438ab5d6d54ec6bf5cfe1b20f587ac, ocaml(Declarations) = 81c48c68b80412c47ef8b355aefc1c04, ocaml(Environ) = 594510c1ad387d418272154e7a1d00ca, ocaml(Esubst) = 2e88d2c3f51e7fd4bd8fab5cedc1b845, ocaml(Evar) = e83541443e4a393f423496eea7268953, ocaml(Exninfo) = 7f1da445ac6364230fdf5fd454a9e172, ocaml(Float64) = 3e7c632ec4344ca27816e1abf9d45bbd, ocaml(Future) = 1074d1ce8b97ae8748de87c5859f1d59, ocaml(Hashcons) = 7a11e0e9b12f287ea190bcaa8a76d94d, ocaml(Hashset) = 8cbbedf51bf41171a5dc310574a48dac, ocaml(Int) = 0eac06388ad78d40f34e5e593cf0fe2f, ocaml(Loc) = 8fefc3794c8a7b343a60c289df40ae28, ocaml(Mod_subst) = 95a99214cdfbd0897398d2fde899bdec, ocaml(NCoq_Arith_Compare_dec) = 46c2aee1579e5318f582d87e8ef16f5e, ocaml(NCoq_Arith_Factorial) = 3d19119a6866476b5e425514b1775aa4, ocaml(NCoq_Arith_Gt) = 3762251b62a3bfa2c8cf7e2ba033a83a, ocaml(NCoq_Arith_Le) = 65f8960181f6c86c8bc91b9e1199da1c, ocaml(NCoq_Arith_Lt) = af4087d06175597a2a378a13a95f5869, ocaml(NCoq_Arith_PeanoNat) = c2bb317cdeb043b5d752da20b9ce59b0, ocaml(NCoq_Bool_Bool) = e8d4a90a506f1bd74288e2ef8f14104c, ocaml(NCoq_Bool_Sumbool) = 216de06176f97b424612c9d80f32a9f8, ocaml(NCoq_Classes_Morphisms) = 6e4e20187a5a4136e0d0e51e9739f432, ocaml(NCoq_Classes_Morphisms_Prop) = 117e44ccd41ce9d7fdb17eac0bcddccd, ocaml(NCoq_Classes_RelationClasses) = cf1bd51c06f870f4c9765ae84467bf2c, ocaml(NCoq_Floats_FloatAxioms) = 2f05c0a0d69bb6552b3ebf423e3f52c6, ocaml(NCoq_Floats_FloatClass) = b214ef548dbbccf352623bab61b4c040, ocaml(NCoq_Floats_FloatOps) = f34714bdf15bd3750737c08605aa2a19, ocaml(NCoq_Floats_PrimFloat) = dee58e9d5942309ef577afde569f1dcc, ocaml(NCoq_Floats_SpecFloat) = a0343f867d6ee5c4211e6a9d4a418530, ocaml(NCoq_Init_Datatypes) = 07cc4c3ac6c62d8c660f291678f35168, ocaml(NCoq_Init_Decimal) = 649030300498b02b5f305313367a05c8, ocaml(NCoq_Init_Hexadecimal) = bc0df213e13e8502fa6cb53fbd08e1ba, ocaml(NCoq_Init_Logic) = 362554280fcb77a69d591018469ef087, ocaml(NCoq_Init_Nat) = a8b990c1df8639094f4f2430fa65fec1, ocaml(NCoq_Init_Number) = 3337dccd4199fd12c76b6f6f43cb587b, ocaml(NCoq_Init_Peano) = 3047bd86d265afa10df045c1ed2777dd, ocaml(NCoq_Init_Specif) = aadd823801d7c41d84b5e1d5c5ac2206, ocaml(NCoq_Init_Wf) = 2886740dce912733918234fad119b2fb, ocaml(NCoq_Lists_List) = ea9c7866eb7e18b4cc5ddee8714b5cdb, ocaml(NCoq_NArith_BinNat) = 5bdd4070cf3ccc97bac402c256ca9e65, ocaml(NCoq_Numbers_BinNums) = 39381396fb996521a8a76d5a7587e41f, ocaml(NCoq_Numbers_Cyclic_Abstract_DoubleType) = 7a6579b76621ae76c5e2c2d618aec09d, ocaml(NCoq_Numbers_Cyclic_Int63_Int63) = 2161895bcdd6f80e7fff74d0f6f81e1f, ocaml(NCoq_PArith_BinPos) = 83e59f4de89ac1b1c3f4ab310487f2aa, ocaml(NCoq_Program_Basics) = 92b81b13a0daacc37e14da65ab5c190a, ocaml(NCoq_QArith_QArith_base) = 9e863bf4b5e904c18bddbcc0d96925b7, ocaml(NCoq_QArith_Qabs) = 9adfe0d7ac05dc09ef9ac40fa8defdab, ocaml(NCoq_QArith_Qreduction) = 1b52995de3584ecae5f6a438f8d1eb96, ocaml(NCoq_Reals_Alembert) = 8992b8aadcd4f0c9d7f133d0e5642377, ocaml(NCoq_Reals_ArithProp) = 6c613003d06a55316f3e1f31d6878469, ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = c1f8dd3b7ffd403389b6fcda08ebdf1b, ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 885649953b2a1f242fdf51c8a7c53457, ocaml(NCoq_Reals_Cauchy_QExtra) = ffff707a971f899ee61a6df3b8ba6569, ocaml(NCoq_Reals_DiscrR) = 5928e685f5f49e17ff5a029600625a08, ocaml(NCoq_Reals_PartSum) = 7b5da268821dd167e9377887d9ffe1b4, ocaml(NCoq_Reals_RIneq) = 175c5da3c9f2fe79d7b5af49ce3c886d, ocaml(NCoq_Reals_R_sqrt) = b3ff9539f765696c3a68f6053aa115e4, ocaml(NCoq_Reals_Raxioms) = 868490622a1ebfeb920cadc37812ab67, ocaml(NCoq_Reals_Rbasic_fun) = 76010b336409a9bbbc7ab7e34b129bab, ocaml(NCoq_Reals_Rdefinitions) = 97b875d06cb3e5b6e0035378961b50f3, ocaml(NCoq_Reals_Rfunctions) = 90380822d9df0f6d3af69a9eb6a913bf, ocaml(NCoq_Reals_Rpow_def) = 089754e4519b77d595430d0796c09536, ocaml(NCoq_Reals_Rpower) = f911fcc00ebc9d8f66c0315ccd3f38d9, ocaml(NCoq_Reals_Rseries) = a09cab6c684df185923043629f31c658, ocaml(NCoq_Reals_Rsqrt_def) = 935f1f1d1db0f24729bdc3c6e3e9c158, ocaml(NCoq_Reals_Rtrigo_def) = 788ba2830fe7e14a0334bdf4e9efbee6, ocaml(NCoq_Reals_Rtrigo_fun) = c7bb7df0940397691377dbeb364d53fd, ocaml(NCoq_Relations_Relation_Definitions) = 80de7d17a8dd0661e685aaa6bcd28c4f, ocaml(NCoq_Structures_OrdersTac) = 525278a840fef73679bddaad095d4672, ocaml(NCoq_ZArith_BinInt) = ef13ff2cb1ec3eae286ec0521e1badb4, ocaml(NCoq_ZArith_BinIntDef) = 6cb450dfb6540ff34698922a4a890907, ocaml(NCoq_ZArith_ZArith_dec) = 720f3facf04e9f2e3971a81b89623ea1, ocaml(NCoq_ZArith_Zbool) = d02653d2eb1040a613bfb8654a4c051a, ocaml(NCoq_ZArith_Zeven) = 05c91e0428cc2ebb2a07619ca630776a, ocaml(NCoq_ZArith_Znat) = fdbedc929f00c3f009a2eb93a37a6c74, ocaml(NCoq_ZArith_Zorder) = 2cdf468abd5f6e6393c7283eb275f9c5, ocaml(NCoq_ZArith_Zpower) = 82fab7318141431ef155d9b7fb187df6, ocaml(NCoq_setoid_ring_ArithRing) = 236dc9a1e479db37a1f43b5ecca2be4d, ocaml(NCoq_setoid_ring_BinList) = 3990e2806d2d359013fe621f605b39c2, ocaml(NCoq_setoid_ring_Ring_polynom) = c7e3d153a4d27d6ec41f794f1572b453, ocaml(NCoq_setoid_ring_Ring_tac) = 42fda3d49d51ca04dc10d60708f9f9c8, ocaml(NCoq_setoid_ring_Ring_theory) = e5344b92b748bebc78f24e79805947e5, ocaml(Names) = 2089790a0ee6f442e537708a5b9ee9df, ocaml(Nativecode) = 599718f44fd3c46d825ab10f5143f21d, ocaml(Nativeconv) = 5008f05a40c852bd3147e0e361b43f0a, ocaml(Nativelambda) = 42e58947c744c4534ffeca24d922aea1, ocaml(Nativelib) = 089dd3443d5b7e222008e59a49a4784c, ocaml(Nativevalues) = d233a440b6da69871499161794687e1a, ocaml(Opaqueproof) = 7d36b6f2986d9837f259b5f8a4437eac, ocaml(Parray) = 4d609a24fe99004704422a5583cde74d, ocaml(Pp) = 8d0b733cffa62f6c874831421ac5d212, ocaml(Predicate) = 3f4e3f5fd9617f29ad2a8fb8b10b4547, ocaml(Range) = b5a5a8bbcb6248106f3d0efe1ca5fac2, ocaml(Reduction) = 1c302cb7def9bd5dafc7e073f1f5bb45, ocaml(Retroknowledge) = caacf89cdc82dbceeb55a8ba972a32a3, ocaml(Rtree) = 70aa691578893e7de192a5805b76802b, ocaml(Sorts) = 793ad87c5606eacab300bce5387079cd, ocaml(Term) = 80f0412e59eb76fc6044afcca6aaef71, ocaml(TransparentState) = 6aafd22b571334585705f2f5d918215e, ocaml(UGraph) = 48eecfee8faee0dab1e18d183b89fead, ocaml(Uint63) = dfe3230430fafff0529a606faa864a19, ocaml(Univ) = 6908c023be0fd12f98597ef8422f5760, ocaml(Vmbytecodes) = cb55b29793d4a689051f208ca86ccc76, ocaml(Vmemitcodes) = ef7f644bed74bd77a4a60126c8fd2044, ocaml(Vmvalues) = 9b6a9855e98644442eed8e643018a7ec, ocamlx(NCoq_Bool_Bool) = 37ea83ac16da74018d2f78da40e78f00, ocamlx(NCoq_Floats_FloatAxioms) = 4c1c4bf9e010f462d918b15efdd9893b, ocamlx(NCoq_Floats_FloatOps) = 6017df645abb891d794917487b2795b7, ocamlx(NCoq_Floats_SpecFloat) = f6f7d1ee9221054c5360eb4c48887e96, ocamlx(NCoq_Init_Datatypes) = d7f2e3ad1d9f28f92e9bbc669254e224, ocamlx(NCoq_Init_Logic) = c389941227cb4619e1fe20f2753d6c3a, ocamlx(NCoq_Init_Nat) = 6a967d6a9e07141d664084ba359f5b8e, ocamlx(NCoq_Init_Specif) = fdfee754bb28cecff3e1f02de1f5db8d, ocamlx(NCoq_Lists_List) = 5f74bb9c016c69dd18319dd1a9f8b6ec, ocamlx(NCoq_NArith_BinNat) = b0bcf01207ccb5d9b94dfc784fe8f0eb, ocamlx(NCoq_Numbers_BinNums) = 96b928575fe1f963591b5c308bb9796f, ocamlx(NCoq_PArith_BinPos) = 5ddc2b4d604e948dc202ecd7f3b733a5, ocamlx(NCoq_Reals_RIneq) = 23f7d53602addb3134ec00d58874eafb, ocamlx(NCoq_Reals_R_sqrt) = 412ffd88a7ce39dba454dc6770cfeb50, ocamlx(NCoq_Reals_Rbasic_fun) = 89cfe53271a24136d4a4f2a0e1351922, ocamlx(NCoq_Reals_Rdefinitions) = 8206debf204ddc208f6306958c814f71, ocamlx(NCoq_Reals_Rfunctions) = 1e28d6b940bbec126badc2b057351770, ocamlx(NCoq_Reals_Rpower) = d5c0a963270193bc28b3fb80d64cc48d, ocamlx(NCoq_ZArith_BinInt) = 738df20477de9201889f6cee4371c883, ocamlx(NCoq_ZArith_BinIntDef) = 686cfa5514183f89948d31642564915d, ocamlx(NCoq_ZArith_ZArith_dec) = 6b59ff589200dcfd4120b2a9c59d77eb, ocamlx(NCoq_ZArith_Zbool) = e9f353df1db3ae8a05b293b4d0b9c541, ocamlx(NCoq_ZArith_Zorder) = 16e5ceb824a3d4a730612ec0a0224baa, ocamlx(NCoq_ZArith_Zpower) = aae623d675514b6aac85ae8225a79fdb, ocamlx(Nativecode) = d1acf15e73974d1e00a8432df72f392a, ocamlx(Nativevalues) = 8e38a6345c12bdcb389aefd53ae24943 frama-c (maintained by: jjames) frama-c-23.1-1.fc36.src requires alt-ergo = 2.2.0-13.fc35, coq = 8.13.2-3.fc35, ocaml-why3-devel = 1.4.0-3.fc35, why3 = 1.4.0-3.fc35 frama-c-23.1-1.fc36.x86_64 requires alt-ergo = 2.2.0-13.fc35, ocaml(MenhirLib) = e1d2029c152a5f2d24c55eef31862d07, ocaml(Why3) = 061252a7bcaf79bc729330333413a9ca, ocaml(Why3) = a5fe3a85bc50ab24101d675a8fb2e6ab, ocamlx(Why3) = 1885be46976aebea0b766551b0525b48, ocamlx(Why3) = a372fd29cea9b8e6756741569703fe05, why3 = 1.4.0-3.fc35 gappalib-coq (maintained by: jjames) gappalib-coq-1.4.6-9.fc35.src requires coq = 8.13.2-3.fc35, flocq = 3.4.2-3.fc35 gappalib-coq-1.4.6-9.fc35.x86_64 requires coq(x86-64) = 8.13.2-3.fc35, flocq = 3.4.2-3.fc35, ocaml(AcyclicGraph) = 9f5c479581b208900c9204d7eb3878bb, ocaml(Attributes) = efe32b6fd83dcbf24b58b65dafccef9e, ocaml(Auto) = 8dd5096184311c56f21e22279d5039ce, ocaml(Autorewrite) = f34e9547a3f5aa5da2fe449232b4704d, ocaml(CArray) = 9eb198e16f04fdf915dd08d3babb4536, ocaml(CAst) = e63bfb56e607969115781b205cce5d2e, ocaml(CClosure) = dc82d5b9cca438c510cabfe7d444f46f, ocaml(CEphemeron) = 499eb6b86859c0f2b462d7da65f4c47c, ocaml(CErrors) = 2afd5de36f979cf6d5b498bf508693c6, ocaml(CLexer) = a43ed340c380631918e25d0fc994ee7e, ocaml(CList) = 167649d2aa5400991b14bae4e3a0f144, ocaml(CMap) = f1d299d3e95d548efb697ef94f06efa7, ocaml(CPrimitives) = 1b3b000af12a969c9b335581f6f491a6, ocaml(CSet) = 5f90eac69800e327bb1987d2275ed40e, ocaml(CSig) = 300540e0ab1127cad5fdde9b549de57f, ocaml(CString) = 2396088f35976f37d67c15e7f822e848, ocaml(CUnix) = 4ce31dd6d1d086487db745e5e02c01b3, ocaml(CWarnings) = 2e3543bd4780cba77911e19f9c1f9a27, ocaml(Class_tactics) = 330e4ea830e498aa7817a45eefd93f02, ocaml(Classes) = cccfc7021717b9454e6041047952a672, ocaml(Clenv) = 3037b4264fc5a30e886756c4ace214ab, ocaml(Coercionops) = cac5984a7208851ff036ce1186a805b1, ocaml(ComTactic) = b6b24bd62c43a261fbec9a1ffad55a9a, ocaml(Constr) = c6f97c1f9206d449fc39219ed5f5f785, ocaml(Constr_matching) = ea170ec992fb4d557c787d29cd9ec9dc, ocaml(Constrexpr) = a0204dc0bf9a3ddcd3f39b6d8d2aadbf, ocaml(Constrexpr_ops) = 2170750e95a4996101c6f6a10c3e3842, ocaml(Constrintern) = e49c28623075260d0c20f0106d90ef0b, ocaml(Context) = bbc61131b244562c80868a91a9ea90e4, ocaml(Conv_oracle) = 4c438ab5d6d54ec6bf5cfe1b20f587ac, ocaml(Coqlib) = d82c5481ab0ff746bbcec3310d637959, ocaml(DAst) = 3283b968b989c18f686e0244560dd958, ocaml(Declarations) = 81c48c68b80412c47ef8b355aefc1c04, ocaml(Declare) = fff0296aead3f72f0bd7ddfa72dee809, ocaml(Declaremods) = 93669fe85291c5e0ac6e644b8eed8061, ocaml(Decls) = 07f9c3c006c6ad8f9d45cf812f866fa8, ocaml(Deprecation) = 2922ff80dfe62ba79c6d4d9b79f8ab6b, ocaml(Dumpglob) = c637d2b319fe4bce3fad22ff219977e4, ocaml(Dyn) = 1020aea8aeedf42fe5e28636ca004e3a, ocaml(EConstr) = 3e244160777c8c2a27187917c6678d9e, ocaml(Eauto) = 3cf1a955a34f75ff50e3cd97385583df, ocaml(Elim) = 8c85ab751e3a4e7c4713bfdafe0548a4, ocaml(Entries) = ee0864c3f315775a5d62ab417f941585, ocaml(Environ) = 594510c1ad387d418272154e7a1d00ca, ocaml(Eqdecide) = 4e7f1ba5784511dce59386e76f4d398c, ocaml(Equality) = 3398c9db0ad68b46942363e074158151, ocaml(Esubst) = 2e88d2c3f51e7fd4bd8fab5cedc1b845, ocaml(Evar) = e83541443e4a393f423496eea7268953, ocaml(Evar_kinds) = 37b5de3d65a7e65662869f1f68088ad1, ocaml(Evardefine) = f73ea2d7c051adf4664560a4fb6d8b2f, ocaml(Evarsolve) = 9c98501db30036f576c746716e4e22a6, ocaml(Evarutil) = dbbad4a640ead4e0b6101cc0b306edf3, ocaml(Evd) = 1216b48cb2a1e45e2abc53065911512e, ocaml(Exninfo) = 7f1da445ac6364230fdf5fd454a9e172, ocaml(Extend) = 16b7358d0d182d271ea294f86397bb4e, ocaml(Feedback) = 16822721782da1d58b64ed0b688fbf44, ocaml(Flags) = 76a759de845c894ec2420237664db80f, ocaml(Float64) = 3e7c632ec4344ca27816e1abf9d45bbd, ocaml(Ftactic) = 5de7b3aaf7b9dcebed900f05bd5089a5, ocaml(Future) = 1074d1ce8b97ae8748de87c5859f1d59, ocaml(G_proofs) = 4948159391b5cf52ddf7c7771c4000a4, ocaml(G_vernac) = 31277d97b9e262c7c42e55abf45508c7, ocaml(Genarg) = b804fc6fe2740e8a4133aaf8bea0e898, ocaml(Genintern) = 938c55cf75b81ebef4941a2c74788d20, ocaml(Geninterp) = 1b18f7e2740770bb4fe674da987716b3, ocaml(Genprint) = 127e4b5f7eec3bb3ebfe0258b82c9f61, ocaml(Genredexpr) = 764a86d0b0347a56f0f51c45bf526c76, ocaml(GlobEnv) = 5515f375fd92c7b8becd09a6669eebfb, ocaml(Glob_term) = f1cd6e7d0adff9a14a273b6e3591dc60, ocaml(Globnames) = 5f5621cd4677dfd74bbe6d3acffdce89, ocaml(Goal) = 4f62bb29ad736b6bd0fc8ac1f775d82b, ocaml(Goal_select) = adf8b16d5815017e733d59521b13d33f, ocaml(Goptions) = 736af4a64d8ee720cca7e36c6914f603, ocaml(Gramlib) = 40a8d14ab6ca17063abfa6908e2afa14, ocaml(Gramlib__Gramext) = 69474b36eb9135428080c0a517100119, ocaml(Gramlib__Grammar) = 78c724dcf3639839bd3dc18ad924a888, ocaml(Gramlib__Plexing) = c3982fd4833af77859edeeea5a044375, ocaml(Hashcons) = 7a11e0e9b12f287ea190bcaa8a76d94d, ocaml(Hashset) = 8cbbedf51bf41171a5dc310574a48dac, ocaml(Hints) = be7a3720ef4aa48ae5a0969a68ba109e, ocaml(Hook) = 06cad902dbf6886c3f724d4fa0c7f4de, ocaml(IStream) = ab48a2f65184ec3b6bbc31d81eec664d, ocaml(Impargs) = edecd37ff91a7db18ff07ea0b881c2d8, ocaml(Ind_tables) = eeb1902e1fe2e181a1ab9e14331daf9c, ocaml(Int) = 0eac06388ad78d40f34e5e593cf0fe2f, ocaml(Inv) = 00b963d747ce878ac53a30645696f886, ocaml(Lib) = 1de759d69ff9c15421752412f030c5a5, ocaml(Libnames) = d9ce35e60c36c3c146c043ee0f4433d7, ocaml(Libobject) = ab61b593ce5198b102ac3b539695db84, ocaml(Loc) = 8fefc3794c8a7b343a60c289df40ae28, ocaml(Locality) = d9cb489c5b168ed3c6462d317eb8e0d0, ocaml(Locus) = 561d48a215b6cc92646596613b61a381, ocaml(Locusops) = 3365e11c98d6c46c3b14fbe9b6a87b44, ocaml(Logic) = 92a674286d4f817614e6b0e6ad53cf64, ocaml(Logic_monad) = 2fc116f07b0b085735c184f8fbbe1ca8, ocaml(Ltac_plugin) = f055f0d0a1ff690d860baaa3f53e32eb, ocaml(Ltac_pretype) = 2506778204f6f77e97a1be7e0dea6503, ocaml(Mltop) = 1518a0c7912762a0c76a0f330a3d8fd7, ocaml(Mod_subst) = 95a99214cdfbd0897398d2fde899bdec, ocaml(Monad) = 1fa9aa3e3f30e229f727e217abc10820, ocaml(NCoq_Arith_PeanoNat) = c2bb317cdeb043b5d752da20b9ce59b0, ocaml(NCoq_Bool_Bool) = e8d4a90a506f1bd74288e2ef8f14104c, ocaml(NCoq_Bool_Sumbool) = 216de06176f97b424612c9d80f32a9f8, ocaml(NCoq_Classes_Morphisms) = 6e4e20187a5a4136e0d0e51e9739f432, ocaml(NCoq_Classes_Morphisms_Prop) = 117e44ccd41ce9d7fdb17eac0bcddccd, ocaml(NCoq_Classes_RelationClasses) = cf1bd51c06f870f4c9765ae84467bf2c, ocaml(NCoq_Floats_FloatClass) = b214ef548dbbccf352623bab61b4c040, ocaml(NCoq_Floats_SpecFloat) = a0343f867d6ee5c4211e6a9d4a418530, ocaml(NCoq_Init_Datatypes) = 07cc4c3ac6c62d8c660f291678f35168, ocaml(NCoq_Init_Decimal) = 649030300498b02b5f305313367a05c8, ocaml(NCoq_Init_Hexadecimal) = bc0df213e13e8502fa6cb53fbd08e1ba, ocaml(NCoq_Init_Logic) = 362554280fcb77a69d591018469ef087, ocaml(NCoq_Init_Nat) = a8b990c1df8639094f4f2430fa65fec1, ocaml(NCoq_Init_Number) = 3337dccd4199fd12c76b6f6f43cb587b, ocaml(NCoq_Init_Peano) = 3047bd86d265afa10df045c1ed2777dd, ocaml(NCoq_Init_Specif) = aadd823801d7c41d84b5e1d5c5ac2206, ocaml(NCoq_Init_Wf) = 2886740dce912733918234fad119b2fb, ocaml(NCoq_Lists_List) = ea9c7866eb7e18b4cc5ddee8714b5cdb, ocaml(NCoq_NArith_BinNat) = 5bdd4070cf3ccc97bac402c256ca9e65, ocaml(NCoq_Numbers_BinNums) = 39381396fb996521a8a76d5a7587e41f, ocaml(NCoq_PArith_BinPos) = 83e59f4de89ac1b1c3f4ab310487f2aa, ocaml(NCoq_Program_Basics) = 92b81b13a0daacc37e14da65ab5c190a, ocaml(NCoq_QArith_QArith_base) = 9e863bf4b5e904c18bddbcc0d96925b7, ocaml(NCoq_QArith_Qabs) = 9adfe0d7ac05dc09ef9ac40fa8defdab, ocaml(NCoq_QArith_Qreduction) = 1b52995de3584ecae5f6a438f8d1eb96, ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = c1f8dd3b7ffd403389b6fcda08ebdf1b, ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 885649953b2a1f242fdf51c8a7c53457, ocaml(NCoq_Reals_Cauchy_QExtra) = ffff707a971f899ee61a6df3b8ba6569, ocaml(NCoq_Reals_RIneq) = 175c5da3c9f2fe79d7b5af49ce3c886d, ocaml(NCoq_Reals_R_sqrt) = b3ff9539f765696c3a68f6053aa115e4, ocaml(NCoq_Reals_Raxioms) = 868490622a1ebfeb920cadc37812ab67, ocaml(NCoq_Reals_Rbasic_fun) = 76010b336409a9bbbc7ab7e34b129bab, ocaml(NCoq_Reals_Rdefinitions) = 97b875d06cb3e5b6e0035378961b50f3, ocaml(NCoq_Reals_Rfunctions) = 90380822d9df0f6d3af69a9eb6a913bf, ocaml(NCoq_Reals_Rpow_def) = 089754e4519b77d595430d0796c09536, ocaml(NCoq_Reals_Rsqrt_def) = 935f1f1d1db0f24729bdc3c6e3e9c158, ocaml(NCoq_Relations_Relation_Definitions) = 80de7d17a8dd0661e685aaa6bcd28c4f, ocaml(NCoq_Setoids_Setoid) = a691f459146fc9bc5ce34e9a59cbae97, ocaml(NCoq_Structures_OrdersTac) = 525278a840fef73679bddaad095d4672, ocaml(NCoq_ZArith_BinInt) = ef13ff2cb1ec3eae286ec0521e1badb4, ocaml(NCoq_ZArith_ZArith_dec) = 720f3facf04e9f2e3971a81b89623ea1, ocaml(NCoq_ZArith_Zbool) = d02653d2eb1040a613bfb8654a4c051a, ocaml(NCoq_ZArith_Zeven) = 05c91e0428cc2ebb2a07619ca630776a, ocaml(NCoq_ZArith_Znat) = fdbedc929f00c3f009a2eb93a37a6c74, ocaml(NCoq_ZArith_Zpower) = 82fab7318141431ef155d9b7fb187df6, ocaml(NCoq_setoid_ring_BinList) = 3990e2806d2d359013fe621f605b39c2, ocaml(NCoq_setoid_ring_Field_theory) = 288ca43d2759a99bf96fabf1e4d3b98c, ocaml(NCoq_setoid_ring_Ring_polynom) = c7e3d153a4d27d6ec41f794f1572b453, ocaml(NCoq_setoid_ring_Ring_theory) = e5344b92b748bebc78f24e79805947e5, ocaml(NFlocq_Calc_Bracket) = a568d73f250141f7247688b6a2b44891, ocaml(NFlocq_Core_Defs) = c1945c57888b363cc63571c5fd206c03, ocaml(NFlocq_Core_Digits) = 3e30f09e4884421febbf6027c3b5b18d, ocaml(NFlocq_Core_FIX) = 6b8e7ecc72da0fcbc82b4c59f773c179, ocaml(NFlocq_Core_FLT) = 98092ff2f6d94fd9ffb9c8110688a7a5, ocaml(NFlocq_Core_FLX) = 3e81ef33f3ef96c180d12b47f71a2f02, ocaml(NFlocq_Core_Generic_fmt) = c3d9a7d63271634135e9e296e62f1518, ocaml(NFlocq_Core_Raux) = 526b84d79aec7dfb60a146bcb8ef0066, ocaml(NFlocq_Core_Zaux) = 5ef53be09573acb1650ce85e50bc44eb, ocaml(Namegen) = e99bf51b2e2b001f74acb4480b072e24, ocaml(Names) = 2089790a0ee6f442e537708a5b9ee9df, ocaml(Nametab) = 8b20f7b54fae952fee7a8e4629df11f7, ocaml(Nativecode) = 599718f44fd3c46d825ab10f5143f21d, ocaml(Nativeconv) = 5008f05a40c852bd3147e0e361b43f0a, ocaml(Nativelambda) = 42e58947c744c4534ffeca24d922aea1, ocaml(Nativelib) = 089dd3443d5b7e222008e59a49a4784c, ocaml(Nativevalues) = d233a440b6da69871499161794687e1a, ocaml(Notation) = 130394113c1750668bafbdad1afa7297, ocaml(Notation_term) = 4899f9bf8bb26f2eb4dcf281f19f5995, ocaml(NumTok) = f8f0104d6f072a15b3fe866949f72c02, ocaml(Opaqueproof) = 7d36b6f2986d9837f259b5f8a4437eac, ocaml(Parray) = 4d609a24fe99004704422a5583cde74d, ocaml(Pattern) = 201818e20e4597329cfcd5e63b6474fa, ocaml(Pcoq) = 2d5aa18c37fc7588f3064fc6bbc3522f, ocaml(Pp) = 8d0b733cffa62f6c874831421ac5d212, ocaml(Ppconstr) = bac983ed56945ff2529bcd13e504af8f, ocaml(Pputils) = f8d1365bf227623471ce1370370d291d, ocaml(Predicate) = 3f4e3f5fd9617f29ad2a8fb8b10b4547, ocaml(Pretype_errors) = 1e19528ebf47bc4affaf80dc6177e612, ocaml(Pretyping) = 81f81c81fa4b014ee9d0e4f9d26c74e6, ocaml(Primred) = ea7de97723c633bba84761e318c57625, ocaml(Printer) = b521acddf16ec7e70517289209448dc3, ocaml(Proof) = 74ae902c3b2a19d071bddb8cc3f551a6, ocaml(Proof_bullet) = 1a1a89a63d0693c9d2160eda7e007c1c, ocaml(Proofview) = b24c5c91451e33192505847af7c37c45, ocaml(Proofview_monad) = ac1f77f0806fd9b23fe0e7bf4dde413f, ocaml(Pvernac) = 8c6cda913828d7504db6bb5862798bfc, ocaml(Range) = b5a5a8bbcb6248106f3d0efe1ca5fac2, ocaml(Redexpr) = d672c0fdee5b4529b529e33005898ac9, ocaml(Redops) = 9c7ebb92ffa500c08f5f5dee3f498bb3, ocaml(Reduction) = 1c302cb7def9bd5dafc7e073f1f5bb45, ocaml(Reductionops) = bbc66eee8ae576e4857a188bd36a3208, ocaml(RemoteCounter) = 9390bd5a2852df72076120881d3fd62f, ocaml(RetrieveObl) = fd4ba25426d0702f8809a8fb02f31231, ocaml(Retroknowledge) = caacf89cdc82dbceeb55a8ba972a32a3, ocaml(Rtree) = 70aa691578893e7de192a5805b76802b, ocaml(Safe_typing) = 9578bb9e43a744834f44023ee6817092, ocaml(Section) = ded0d0d2e7da8e2d80be55e1d6103908, ocaml(Smartlocate) = d7a12662695e2b252ee32c7573793fc3, ocaml(Sorts) = 793ad87c5606eacab300bce5387079cd, ocaml(Stateid) = ef15018ab503ed43fb5a03e450118d6a, ocaml(Stdarg) = 3d549348ef749eafdffaaba570869e38, ocaml(Store) = 34a1da83397608be468063f3f0a461bb, ocaml(Summary) = 2232feb3c8a6ce5d4bc8fa11743edd76, ocaml(Tacmach) = cc81c7ff1e9a0f47babfc4472572002a, ocaml(Tacred) = 61b6015620523baac632a83dc8cf120d, ocaml(Tacticals) = 9b348a9465777c8b0113918b307f693c, ocaml(Tactics) = 25d16ec00d46db66bc1db66536712948, ocaml(Tactypes) = 0281d9b463e8f6ecce695760968d4111, ocaml(Term) = 80f0412e59eb76fc6044afcca6aaef71, ocaml(Tok) = 2c9c14adfd23eca089f94cd81de3c893, ocaml(TransparentState) = 6aafd22b571334585705f2f5d918215e, ocaml(Type_errors) = cfb9145648c8429d996857372ed7977c, ocaml(Typeclasses) = 8ffdde3093e0a4551f9a7121b02fdc7b, ocaml(UGraph) = 48eecfee8faee0dab1e18d183b89fead, ocaml(UState) = 51061d3312bb3eedb780a7540cbd6493, ocaml(Uint63) = dfe3230430fafff0529a606faa864a19, ocaml(Unification) = 8efbe5022b4a6ea580bf6792e1243894, ocaml(Univ) = 6908c023be0fd12f98597ef8422f5760, ocaml(UnivGen) = 18fcd7cc4765bdc183ff41efd96b6e8b, ocaml(UnivNames) = 9515c2aca025db6ce5d4d61cce01c0de, ocaml(UnivProblem) = bd422bf584648c6580566eff0916952a, ocaml(UnivSubst) = c49c27d8cc64848caa3e938830869277, ocaml(Vars) = 7a4aca2a39026f70a392a62fbbdf9d60, ocaml(Vernacexpr) = 2df05341fc9c628009afb018a599dc60, ocaml(Vernacextend) = 8be0123e5f58abe15160ee8b491bfaa8, ocaml(Vernacstate) = 1a06f8e941070268aefafd2012b56347, ocaml(Vmbytecodes) = cb55b29793d4a689051f208ca86ccc76, ocaml(Vmemitcodes) = ef7f644bed74bd77a4a60126c8fd2044, ocaml(Vmvalues) = 9b6a9855e98644442eed8e643018a7ec, ocaml(Xml_datatype) = 07d4ee19f00e90642af2d0e844138ed6, ocamlx(CErrors) = bdf2422f91896264660b5a922df7511f, ocamlx(Constrintern) = 172ff2ca14125c35cd835fcc21b519e5, ocamlx(Context) = 4f23d2d43e4c354a25937d1b7cb98345, ocamlx(Coqlib) = be4cbf4b3caaea59fbdb591d38dee52f, ocamlx(Dumpglob) = 13241fbdf12a3ba640bee13c1126dc2a, ocamlx(EConstr) = 7aaeecdc67bf00c03394979666d6d4b1, ocamlx(Environ) = a488bc8fa2e970c37c4eaccfc49951cb, ocamlx(Evarutil) = f8bd77307d21f7a38f36ddf7bbb59b90, ocamlx(Evd) = f541cf193a380dba54ee1dc7e4b29d91, ocamlx(Logic) = 82ad1e9aa7f2308c425514f44c6442da, ocamlx(Ltac_plugin) = 052a90c2aba59450b24f6e4a505dda1f, ocamlx(Mltop) = 5fb7716f735d4e9b31dabfe278bd72ec, ocamlx(NCoq_Floats_SpecFloat) = f6f7d1ee9221054c5360eb4c48887e96, ocamlx(NCoq_Init_Datatypes) = d7f2e3ad1d9f28f92e9bbc669254e224, ocamlx(NCoq_Init_Logic) = c389941227cb4619e1fe20f2753d6c3a, ocamlx(NCoq_Init_Specif) = fdfee754bb28cecff3e1f02de1f5db8d, ocamlx(NCoq_Lists_List) = 5f74bb9c016c69dd18319dd1a9f8b6ec, ocamlx(NCoq_NArith_BinNat) = b0bcf01207ccb5d9b94dfc784fe8f0eb, ocamlx(NCoq_Numbers_BinNums) = 96b928575fe1f963591b5c308bb9796f, ocamlx(NCoq_PArith_BinPos) = 5ddc2b4d604e948dc202ecd7f3b733a5, ocamlx(NCoq_Reals_R_sqrt) = 412ffd88a7ce39dba454dc6770cfeb50, ocamlx(NCoq_Reals_Raxioms) = b5365bd8473648b339092bf24195ef0a, ocamlx(NCoq_Reals_Rbasic_fun) = 89cfe53271a24136d4a4f2a0e1351922, ocamlx(NCoq_Reals_Rdefinitions) = 8206debf204ddc208f6306958c814f71, ocamlx(NCoq_Reals_Rfunctions) = 1e28d6b940bbec126badc2b057351770, ocamlx(NCoq_ZArith_BinInt) = 738df20477de9201889f6cee4371c883, ocamlx(NCoq_ZArith_Zbool) = e9f353df1db3ae8a05b293b4d0b9c541, ocamlx(NCoq_ZArith_Zpower) = aae623d675514b6aac85ae8225a79fdb, ocamlx(NCoq_setoid_ring_Field_theory) = 575b554b1961f4538fce248439814299, ocamlx(NFlocq_Calc_Bracket) = 914c8e2c17f5cd9b0e39f80016825023, ocamlx(NFlocq_Core_Defs) = c8688b7860763b743b3ced9058baedce, ocamlx(NFlocq_Core_Digits) = a859ef51230be47c25abeb7337a50816, ocamlx(NFlocq_Core_FIX) = c1746e840e687d06945ad10d30e6f402, ocamlx(NFlocq_Core_FLT) = 5979032b6b4966151d972e3d8a475bde, ocamlx(NFlocq_Core_FLX) = 0c629ba85701b681a0d84f3df2bbaddc, ocamlx(NFlocq_Core_Generic_fmt) = 226c757402b9ea4ec17d0d20bfae78c1, ocamlx(NFlocq_Core_Raux) = e899962232fb01c1fbed2d187c976b12, ocamlx(NFlocq_Core_Zaux) = fc51cee3e687f282542a71f0fbdc0e3e, ocamlx(Names) = 528a31b9b710e028944a0154abdede53, ocamlx(Nativecode) = d1acf15e73974d1e00a8432df72f392a, ocamlx(Nativevalues) = 8e38a6345c12bdcb389aefd53ae24943, ocamlx(Pcoq) = 3e3b0bfa2e330b63b2e584879bef2eff, ocamlx(Pp) = 9a86fc5b42ee2522010aa1d3c60012fd, ocamlx(Printer) = ff7ffddc71fdc71cac75abf379ae401d, ocamlx(Proofview) = 235b1e41980c15b82643a60694e67ef0, ocamlx(Reductionops) = 956c7b80a9ec3b9f5c50ccfe6d52d6ff, ocamlx(Tacmach) = caf7d9d57f5231324c6d5de0433c1a4b, ocamlx(Tacred) = de82271a9814e61c10a86d5dbfd1f983, ocamlx(Tacticals) = dab5f4e5f67ebf0ee86932249f148a50, ocamlx(Tactics) = 8312f1704fe963506ef5c7bb10299394, ocamlx(UnivGen) = 4adbad5fa82668857ad479948fd4a8d9, ocamlx(Vernacstate) = a4992ad6840203676db32ee9d6ce0143 vim-syntastic (maintained by: mhjacks) vim-syntastic-coq-3.10.0-12.fc35.noarch requires coq = 8.13.2-3.fc35 why3 (maintained by: jjames) why3-1.4.0-3.fc35.src requires coq = 8.13.2-3.fc35, flocq = 3.4.2-3.fc35, ocaml-menhir = 20210419-2.fc35 why3-1.4.0-3.fc35.x86_64 requires ocaml(AcyclicGraph) = 9f5c479581b208900c9204d7eb3878bb, ocaml(CArray) = 9eb198e16f04fdf915dd08d3babb4536, ocaml(CAst) = e63bfb56e607969115781b205cce5d2e, ocaml(CEphemeron) = 499eb6b86859c0f2b462d7da65f4c47c, ocaml(CList) = 167649d2aa5400991b14bae4e3a0f144, ocaml(CMap) = f1d299d3e95d548efb697ef94f06efa7, ocaml(CPrimitives) = 1b3b000af12a969c9b335581f6f491a6, ocaml(CSet) = 5f90eac69800e327bb1987d2275ed40e, ocaml(CSig) = 300540e0ab1127cad5fdde9b549de57f, ocaml(CString) = 2396088f35976f37d67c15e7f822e848, ocaml(CUnix) = 4ce31dd6d1d086487db745e5e02c01b3, ocaml(Constr) = c6f97c1f9206d449fc39219ed5f5f785, ocaml(Context) = bbc61131b244562c80868a91a9ea90e4, ocaml(Conv_oracle) = 4c438ab5d6d54ec6bf5cfe1b20f587ac, ocaml(Declarations) = 81c48c68b80412c47ef8b355aefc1c04, ocaml(Environ) = 594510c1ad387d418272154e7a1d00ca, ocaml(Esubst) = 2e88d2c3f51e7fd4bd8fab5cedc1b845, ocaml(Evar) = e83541443e4a393f423496eea7268953, ocaml(Exninfo) = 7f1da445ac6364230fdf5fd454a9e172, ocaml(Float64) = 3e7c632ec4344ca27816e1abf9d45bbd, ocaml(Future) = 1074d1ce8b97ae8748de87c5859f1d59, ocaml(Hashcons) = 7a11e0e9b12f287ea190bcaa8a76d94d, ocaml(Hashset) = 8cbbedf51bf41171a5dc310574a48dac, ocaml(Int) = 0eac06388ad78d40f34e5e593cf0fe2f, ocaml(Loc) = 8fefc3794c8a7b343a60c289df40ae28, ocaml(MenhirLib) = e1d2029c152a5f2d24c55eef31862d07, ocaml(Mod_subst) = 95a99214cdfbd0897398d2fde899bdec, ocaml(NCoq_Arith_Compare_dec) = 46c2aee1579e5318f582d87e8ef16f5e, ocaml(NCoq_Arith_Factorial) = 3d19119a6866476b5e425514b1775aa4, ocaml(NCoq_Arith_Gt) = 3762251b62a3bfa2c8cf7e2ba033a83a, ocaml(NCoq_Arith_Le) = 65f8960181f6c86c8bc91b9e1199da1c, ocaml(NCoq_Arith_Lt) = af4087d06175597a2a378a13a95f5869, ocaml(NCoq_Arith_Minus) = 47fc231ac4f5f1fd093d3e79fb6073e7, ocaml(NCoq_Arith_PeanoNat) = c2bb317cdeb043b5d752da20b9ce59b0, ocaml(NCoq_Arith_Plus) = dabc30bf98be21b2f97714b7d32c51c0, ocaml(NCoq_Bool_Bool) = e8d4a90a506f1bd74288e2ef8f14104c, ocaml(NCoq_Bool_Bvector) = 550da3c1b2999ac5f3e7b665c58a9e57, ocaml(NCoq_Bool_Sumbool) = 216de06176f97b424612c9d80f32a9f8, ocaml(NCoq_Classes_Morphisms) = 6e4e20187a5a4136e0d0e51e9739f432, ocaml(NCoq_Classes_Morphisms_Prop) = 117e44ccd41ce9d7fdb17eac0bcddccd, ocaml(NCoq_Classes_RelationClasses) = cf1bd51c06f870f4c9765ae84467bf2c, ocaml(NCoq_Floats_FloatClass) = b214ef548dbbccf352623bab61b4c040, ocaml(NCoq_Floats_SpecFloat) = a0343f867d6ee5c4211e6a9d4a418530, ocaml(NCoq_Init_Datatypes) = 07cc4c3ac6c62d8c660f291678f35168, ocaml(NCoq_Init_Decimal) = 649030300498b02b5f305313367a05c8, ocaml(NCoq_Init_Hexadecimal) = bc0df213e13e8502fa6cb53fbd08e1ba, ocaml(NCoq_Init_Logic) = 362554280fcb77a69d591018469ef087, ocaml(NCoq_Init_Nat) = a8b990c1df8639094f4f2430fa65fec1, ocaml(NCoq_Init_Number) = 3337dccd4199fd12c76b6f6f43cb587b, ocaml(NCoq_Init_Peano) = 3047bd86d265afa10df045c1ed2777dd, ocaml(NCoq_Init_Specif) = aadd823801d7c41d84b5e1d5c5ac2206, ocaml(NCoq_Init_Wf) = 2886740dce912733918234fad119b2fb, ocaml(NCoq_Lists_List) = ea9c7866eb7e18b4cc5ddee8714b5cdb, ocaml(NCoq_Logic_ClassicalEpsilon) = d3d6a3b8f5755271b3e1b3907c41568b, ocaml(NCoq_NArith_BinNat) = 5bdd4070cf3ccc97bac402c256ca9e65, ocaml(NCoq_Numbers_BinNums) = 39381396fb996521a8a76d5a7587e41f, ocaml(NCoq_PArith_BinPos) = 83e59f4de89ac1b1c3f4ab310487f2aa, ocaml(NCoq_Program_Basics) = 92b81b13a0daacc37e14da65ab5c190a, ocaml(NCoq_QArith_QArith_base) = 9e863bf4b5e904c18bddbcc0d96925b7, ocaml(NCoq_QArith_Qabs) = 9adfe0d7ac05dc09ef9ac40fa8defdab, ocaml(NCoq_QArith_Qreduction) = 1b52995de3584ecae5f6a438f8d1eb96, ocaml(NCoq_Reals_Alembert) = 8992b8aadcd4f0c9d7f133d0e5642377, ocaml(NCoq_Reals_ArithProp) = 6c613003d06a55316f3e1f31d6878469, ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = c1f8dd3b7ffd403389b6fcda08ebdf1b, ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 885649953b2a1f242fdf51c8a7c53457, ocaml(NCoq_Reals_Cauchy_QExtra) = ffff707a971f899ee61a6df3b8ba6569, ocaml(NCoq_Reals_DiscrR) = 5928e685f5f49e17ff5a029600625a08, ocaml(NCoq_Reals_PartSum) = 7b5da268821dd167e9377887d9ffe1b4, ocaml(NCoq_Reals_RIneq) = 175c5da3c9f2fe79d7b5af49ce3c886d, ocaml(NCoq_Reals_R_sqrt) = b3ff9539f765696c3a68f6053aa115e4, ocaml(NCoq_Reals_Raxioms) = 868490622a1ebfeb920cadc37812ab67, ocaml(NCoq_Reals_Rbasic_fun) = 76010b336409a9bbbc7ab7e34b129bab, ocaml(NCoq_Reals_Rdefinitions) = 97b875d06cb3e5b6e0035378961b50f3, ocaml(NCoq_Reals_Rfunctions) = 90380822d9df0f6d3af69a9eb6a913bf, ocaml(NCoq_Reals_Rpow_def) = 089754e4519b77d595430d0796c09536, ocaml(NCoq_Reals_Rpower) = f911fcc00ebc9d8f66c0315ccd3f38d9, ocaml(NCoq_Reals_Rseries) = a09cab6c684df185923043629f31c658, ocaml(NCoq_Reals_Rsqrt_def) = 935f1f1d1db0f24729bdc3c6e3e9c158, ocaml(NCoq_Reals_Rtrigo_def) = 788ba2830fe7e14a0334bdf4e9efbee6, ocaml(NCoq_Reals_Rtrigo_fun) = c7bb7df0940397691377dbeb364d53fd, ocaml(NCoq_Relations_Relation_Definitions) = 80de7d17a8dd0661e685aaa6bcd28c4f, ocaml(NCoq_Structures_OrdersTac) = 525278a840fef73679bddaad095d4672, ocaml(NCoq_Vectors_Fin) = b3e4835c58d65b8a77137bade980ff6c, ocaml(NCoq_Vectors_Vector) = ee24469703a625213044e37d3d48ea80, ocaml(NCoq_Vectors_VectorDef) = 17310a25454b3b6dc8fb0bfca75b73ae, ocaml(NCoq_Vectors_VectorEq) = 627c53b5ab97c99e1319fef9ac311799, ocaml(NCoq_Vectors_VectorSpec) = 2b2502357ca90582dbc5f409de43305d, ocaml(NCoq_ZArith_BinInt) = ef13ff2cb1ec3eae286ec0521e1badb4, ocaml(NCoq_ZArith_ZArith_dec) = 720f3facf04e9f2e3971a81b89623ea1, ocaml(NCoq_ZArith_Zbool) = d02653d2eb1040a613bfb8654a4c051a, ocaml(NCoq_ZArith_Zeven) = 05c91e0428cc2ebb2a07619ca630776a, ocaml(NCoq_ZArith_Znat) = fdbedc929f00c3f009a2eb93a37a6c74, ocaml(NCoq_ZArith_Zpower) = 82fab7318141431ef155d9b7fb187df6, ocaml(NCoq_setoid_ring_ArithRing) = 236dc9a1e479db37a1f43b5ecca2be4d, ocaml(NCoq_setoid_ring_BinList) = 3990e2806d2d359013fe621f605b39c2, ocaml(NCoq_setoid_ring_Ring_polynom) = c7e3d153a4d27d6ec41f794f1572b453, ocaml(NCoq_setoid_ring_Ring_tac) = 42fda3d49d51ca04dc10d60708f9f9c8, ocaml(NCoq_setoid_ring_Ring_theory) = e5344b92b748bebc78f24e79805947e5, ocaml(NFlocq_Calc_Bracket) = a568d73f250141f7247688b6a2b44891, ocaml(NFlocq_Calc_Operations) = 12f7b8b4b907323b011a08efcfc1bb68, ocaml(NFlocq_Calc_Round) = bf9464ea3f1db7bfe04f9b60dc0e45b0, ocaml(NFlocq_Core_Defs) = c1945c57888b363cc63571c5fd206c03, ocaml(NFlocq_Core_Digits) = 3e30f09e4884421febbf6027c3b5b18d, ocaml(NFlocq_Core_FLT) = 98092ff2f6d94fd9ffb9c8110688a7a5, ocaml(NFlocq_Core_Generic_fmt) = c3d9a7d63271634135e9e296e62f1518, ocaml(NFlocq_Core_Raux) = 526b84d79aec7dfb60a146bcb8ef0066, ocaml(NFlocq_Core_Zaux) = 5ef53be09573acb1650ce85e50bc44eb, ocaml(NFlocq_IEEE754_Binary) = 4460978c81293912f6ec2aa7f5f50255, ocaml(Names) = 2089790a0ee6f442e537708a5b9ee9df, ocaml(Nativecode) = 599718f44fd3c46d825ab10f5143f21d, ocaml(Nativeconv) = 5008f05a40c852bd3147e0e361b43f0a, ocaml(Nativelambda) = 42e58947c744c4534ffeca24d922aea1, ocaml(Nativelib) = 089dd3443d5b7e222008e59a49a4784c, ocaml(Nativevalues) = d233a440b6da69871499161794687e1a, ocaml(Opaqueproof) = 7d36b6f2986d9837f259b5f8a4437eac, ocaml(Parray) = 4d609a24fe99004704422a5583cde74d, ocaml(Pp) = 8d0b733cffa62f6c874831421ac5d212, ocaml(Predicate) = 3f4e3f5fd9617f29ad2a8fb8b10b4547, ocaml(Range) = b5a5a8bbcb6248106f3d0efe1ca5fac2, ocaml(Reduction) = 1c302cb7def9bd5dafc7e073f1f5bb45, ocaml(Retroknowledge) = caacf89cdc82dbceeb55a8ba972a32a3, ocaml(Rtree) = 70aa691578893e7de192a5805b76802b, ocaml(Sorts) = 793ad87c5606eacab300bce5387079cd, ocaml(Term) = 80f0412e59eb76fc6044afcca6aaef71, ocaml(TransparentState) = 6aafd22b571334585705f2f5d918215e, ocaml(UGraph) = 48eecfee8faee0dab1e18d183b89fead, ocaml(Uint63) = dfe3230430fafff0529a606faa864a19, ocaml(Univ) = 6908c023be0fd12f98597ef8422f5760, ocaml(Vmbytecodes) = cb55b29793d4a689051f208ca86ccc76, ocaml(Vmemitcodes) = ef7f644bed74bd77a4a60126c8fd2044, ocaml(Vmvalues) = 9b6a9855e98644442eed8e643018a7ec, ocamlx(NCoq_Arith_PeanoNat) = d579e8392f92d2198eae7aa56edd022d, ocamlx(NCoq_Bool_Bool) = 37ea83ac16da74018d2f78da40e78f00, ocamlx(NCoq_Bool_Bvector) = 49f3e26c8d98e7b17e6374a4d3afd9e2, ocamlx(NCoq_Classes_Morphisms) = 751ac3a9820cd974ef998746ab82a3a3, ocamlx(NCoq_Classes_Morphisms_Prop) = 82ccff08dce6a9a6f0bbaa095fc81bbf, ocamlx(NCoq_Classes_RelationClasses) = 3ca2cebf3c15f82fd6607c6bb548b52f, ocamlx(NCoq_Init_Datatypes) = d7f2e3ad1d9f28f92e9bbc669254e224, ocamlx(NCoq_Init_Logic) = c389941227cb4619e1fe20f2753d6c3a, ocamlx(NCoq_Init_Nat) = 6a967d6a9e07141d664084ba359f5b8e, ocamlx(NCoq_Init_Peano) = ee762a0eaf894d2deba471842fed4b31, ocamlx(NCoq_Init_Specif) = fdfee754bb28cecff3e1f02de1f5db8d, ocamlx(NCoq_Lists_List) = 5f74bb9c016c69dd18319dd1a9f8b6ec, ocamlx(NCoq_Logic_ClassicalEpsilon) = 0e2d0bc1ac3e4e88c9afddb301413397, ocamlx(NCoq_Numbers_BinNums) = 96b928575fe1f963591b5c308bb9796f, ocamlx(NCoq_PArith_BinPos) = 5ddc2b4d604e948dc202ecd7f3b733a5, ocamlx(NCoq_Reals_Rbasic_fun) = 89cfe53271a24136d4a4f2a0e1351922, ocamlx(NCoq_Reals_Rdefinitions) = 8206debf204ddc208f6306958c814f71, ocamlx(NCoq_Reals_Rpower) = d5c0a963270193bc28b3fb80d64cc48d, ocamlx(NCoq_Vectors_Vector) = 2085a1504315aadeeeecc050549a1b2e, ocamlx(NCoq_ZArith_BinInt) = 738df20477de9201889f6cee4371c883, ocamlx(NCoq_ZArith_ZArith_dec) = 6b59ff589200dcfd4120b2a9c59d77eb, ocamlx(NCoq_ZArith_Zbool) = e9f353df1db3ae8a05b293b4d0b9c541, ocamlx(NCoq_ZArith_Zpower) = aae623d675514b6aac85ae8225a79fdb, ocamlx(NFlocq_Core_Defs) = c8688b7860763b743b3ced9058baedce, ocamlx(NFlocq_Core_FLT) = 5979032b6b4966151d972e3d8a475bde, ocamlx(NFlocq_Core_Generic_fmt) = 226c757402b9ea4ec17d0d20bfae78c1, ocamlx(NFlocq_Core_Raux) = e899962232fb01c1fbed2d187c976b12, ocamlx(NFlocq_Core_Zaux) = fc51cee3e687f282542a71f0fbdc0e3e, ocamlx(NFlocq_IEEE754_Binary) = 432710dffdd9d48c2dcafdbe26733208, ocamlx(Nativecode) = d1acf15e73974d1e00a8432df72f392a, ocamlx(Nativevalues) = 8e38a6345c12bdcb389aefd53ae24943 why3-all-1.4.0-3.fc35.x86_64 requires alt-ergo = 2.2.0-13.fc35, coq = 8.13.2-3.fc35, zenon = 0.8.4-25.fc35 ocaml-why3-1.4.0-3.fc35.i686 requires ocaml(MenhirLib) = e1d2029c152a5f2d24c55eef31862d07 ocaml-why3-1.4.0-3.fc35.x86_64 requires ocaml(MenhirLib) = e1d2029c152a5f2d24c55eef31862d07 ocaml-why3-devel-1.4.0-3.fc35.i686 requires ocaml(MenhirLib) = e1d2029c152a5f2d24c55eef31862d07, ocaml-menhir(x86-32) = 20210419-2.fc35 ocaml-why3-devel-1.4.0-3.fc35.x86_64 requires ocaml(MenhirLib) = e1d2029c152a5f2d24c55eef31862d07, ocaml-menhir(x86-64) = 20210419-2.fc35 zenon (maintained by: jjames) zenon-0.8.4-25.fc35.src requires coq = 8.13.2-3.fc35 zenon-0.8.4-25.fc35.x86_64 requires coq(x86-64) = 8.13.2-3.fc35 alt-ergo (maintained by: amdunn, jjames) alt-ergo-2.2.0-13.fc35.src requires ocaml-menhir = 20210419-2.fc35, ocaml-psmt2-frontend-devel = 0.1-10.fc35 ocaml-alt-ergo-2.2.0-13.fc35.i686 requires ocaml(Psmt2Frontend) = bf37c776b5942c89ac23f609f5c1edc1, ocamlx(Psmt2Frontend) = 77e64cc7dcf328a6cd90a0f5e5d6f97c, ocamlx(Psmt2Frontend) = c42d413b1f8ecca35d708488e3cc4060 ocaml-alt-ergo-2.2.0-13.fc35.x86_64 requires ocaml(Psmt2Frontend) = bf37c776b5942c89ac23f609f5c1edc1, ocamlx(Psmt2Frontend) = 77e64cc7dcf328a6cd90a0f5e5d6f97c, ocamlx(Psmt2Frontend) = c42d413b1f8ecca35d708488e3cc4060 ocaml-alt-ergo-devel-2.2.0-13.fc35.i686 requires ocaml(Psmt2Frontend) = bf37c776b5942c89ac23f609f5c1edc1, ocamlx(Psmt2Frontend) = 77e64cc7dcf328a6cd90a0f5e5d6f97c, ocamlx(Psmt2Frontend) = c42d413b1f8ecca35d708488e3cc4060 ocaml-alt-ergo-devel-2.2.0-13.fc35.x86_64 requires ocaml(Psmt2Frontend) = bf37c776b5942c89ac23f609f5c1edc1, ocamlx(Psmt2Frontend) = 77e64cc7dcf328a6cd90a0f5e5d6f97c, ocamlx(Psmt2Frontend) = c42d413b1f8ecca35d708488e3cc4060 coccinelle (maintained by: rjones) coccinelle-1.1.0-5.fc35.src requires ocaml-menhir = 20210419-2.fc35 ocaml-atd (maintained by: salimma) ocaml-atd-2.2.1-3.fc35.src requires ocaml-menhir = 20210419-2.fc35 ocaml-merlin (maintained by: jjames) ocaml-merlin-4.3.1-1.fc35.src requires ocaml-menhir = 20210419-2.fc35 ocaml-psmt2-frontend (maintained by: jjames) ocaml-psmt2-frontend-0.1-10.fc35.src requires ocaml-menhir = 20210419-2.fc35 Depending on: jakarta-commons-httpclient (36), status change: 2021-08-20 (0 weeks ago) ant-contrib (maintained by: java-maint-sig, mizdebsk, orphan) ant-contrib-1.0-0.40.b3.fc34.src requires jakarta-commons-httpclient = 1:3.1-38.fc35 fop (maintained by: mizdebsk, peter, ttorling) fop-2.5-2.fc34.noarch requires jakarta-commons-httpclient = 1:3.1-38.fc35 eclipse-gef (maintained by: eclipse-sig, mbooth, orphan, rgrunber) eclipse-gef-3.11.0-16.fc34.src requires ant-contrib = 1.0-0.40.b3.fc34 forbidden-apis (maintained by: jvanek, zzambers) forbidden-apis-2.5-10.fc34.src requires ant-contrib = 1.0-0.40.b3.fc34 java-sleep (maintained by: orion) java-sleep-2.1-23.fc35.src requires ant-contrib = 1.0-0.40.b3.fc34 bibletime (maintained by: cicku, deji, greghellings) bibletime-3.0-4.fc35.src requires fop = 2.5-2.fc34 publican (maintained by: jfearn, rlandmann) publican-4.3.2-22.fc35.noarch requires fop = 2.5-2.fc34 publican-4.3.2-22.fc35.src requires fop = 2.5-2.fc34 scons (maintained by: fab, moceap, mskalick, panovotn, s4504kr, sagitter) scons-4.2.0-1.fc35.src requires fop = 2.5-2.fc34 eclipse-subclipse (maintained by: eclipse-sig, kdaniel, mbooth, orphan) eclipse-subclipse-4.3.3-2.fc34.noarch requires osgi(org.eclipse.draw2d) = 3.10.100.202102041646, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-subclipse-4.3.3-2.fc34.src requires eclipse-gef = 3.11.0-16.fc34 eclipse-webtools (maintained by: eclipse-sig, galileo, mbooth, orphan) eclipse-webtools-3.21.0-1.fc35.src requires eclipse-gef = 3.11.0-16.fc34 eclipse-webtools-common-3.21.0-1.fc35.noarch requires eclipse-gef = 3.11.0-16.fc34, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-webtools-sourceediting-3.21.0-1.fc35.noarch requires osgi(org.eclipse.gef) = 3.11.0.202102041646 moconti (maintained by: orion) moconti-102609-20.fc35.noarch requires java-sleep = 2.1-23.fc35 moconti-102609-20.fc35.src requires java-sleep = 2.1-23.fc35 boswars (maintained by: bruno, jwrdegoede, timn) boswars-2.7-26.svn160110.fc35.src requires python3-scons = 4.2.0-1.fc35 compat-tolua++ (maintained by: jwrdegoede) compat-tolua++-1.0.93-16.fc35.src requires python3-scons = 4.2.0-1.fc35 endless-sky (maintained by: linkdupont) endless-sky-0.9.14-2.fc35.src requires scons = 4.2.0-1.fc35 glob2 (maintained by: bruno, cheese) glob2-0.9.4.4-57.fc35.src requires python3-scons = 4.2.0-1.fc35 godot (maintained by: akien) godot-3.3.3-1.fc36.src requires python3-scons = 4.2.0-1.fc35 gpsd (maintained by: fab, mlichvar, ttorling) gpsd-1:3.23-1.fc36.src requires python3-scons = 4.2.0-1.fc35 lcdtest (maintained by: brouhaha) lcdtest-1.18-27.fc35.src requires scons = 4.2.0-1.fc35 libffado (maintained by: nphilipp) libffado-2.4.4-5.fc35.src requires python3-scons = 4.2.0-1.fc35 libnxt (maintained by: dwrobel) libnxt-0.3-26.fc35.src requires scons = 4.2.0-1.fc35 libserf (maintained by: cicku, jorton) libserf-1.3.9-19.fc35.src requires python3-scons = 4.2.0-1.fc35 mapnik (maintained by: alexlan, tomh) mapnik-3.1.0-13.fc35.src requires scons = 4.2.0-1.fc35 mingw-nsis (maintained by: lef, rjones, smani, teuf) mingw-nsis-3.07-1.fc35.src requires python3-scons = 4.2.0-1.fc35 minicomputer (maintained by: verdurin) minicomputer-1.41-31.fc35.src requires /usr/bin/scons mypaint (maintained by: avsej) mypaint-2.0.1-4.fc35.src requires python3-scons = 4.2.0-1.fc35 netpanzer (maintained by: laxathom, limb) netpanzer-0.8.7-18.fc35.src requires python3-scons = 4.2.0-1.fc35 pingus (maintained by: limb) pingus-0.7.6-39.fc35.src requires python3-scons = 4.2.0-1.fc35 rmlint (maintained by: eclipseo) rmlint-2.10.1-6.fc35.src requires scons = 4.2.0-1.fc35 sagemath (maintained by: pcpa) sagemath-9.3-5.fc36.src requires python3dist(scons) = 4.2 sar2 (maintained by: spot) sar2-2.5.0-4.fc35.src requires scons = 4.2.0-1.fc35 sunpinyin (maintained by: cicku, fujiwara, helloworld1, liangsuilong, pwu) sunpinyin-3.0.0-0.6.20190805git.fc35.src requires python3-scons = 4.2.0-1.fc35 tolua++ (maintained by: jwrdegoede, moceap) tolua++-1.0.93-32.fc35.src requires python3-scons = 4.2.0-1.fc35 v8-314 (maintained by: lkundrak) v8-314-3.14.5.10-26.fc35.src requires scons = 4.2.0-1.fc35 vdrift (maintained by: limb, rmattes) vdrift-20141020-25.git5ae309f.fc35.src requires python3-scons = 4.2.0-1.fc35 wesnoth (maintained by: bruno, limb, pwalter) wesnoth-1.15.15-3.fc35.src requires python3-scons = 4.2.0-1.fc35 zfs-fuse (maintained by: limb) zfs-fuse-0.7.2.2-20.fc35.src requires scons = 4.2.0-1.fc35 Too many dependencies for jakarta-commons-httpclient, not all listed here Depending on: libspf2 (3), status change: 2021-08-17 (1 weeks ago) exim (maintained by: dwmw2, jskarvad) exim-4.94.2-3.fc35.src requires libopendmarc-devel = 1.4.1.1-5.fc35, libspf2-devel = 1.2.10-30.20150405gitd57d79fd.fc35 exim-4.94.2-3.fc35.x86_64 requires libopendmarc.so.2()(64bit), libspf2.so.2()(64bit) opendmarc (maintained by: kevin) libopendmarc-1.4.1.1-5.fc35.i686 requires libspf2.so.2 libopendmarc-1.4.1.1-5.fc35.x86_64 requires libspf2.so.2()(64bit) opendmarc-1.4.1.1-5.fc35.src requires libspf2-devel = 1.2.10-30.20150405gitd57d79fd.fc35 milter-greylist (maintained by: kanarip, pghmcfc) milter-greylist-4.6.4-3.fc35.src requires libspf2-devel = 1.2.10-30.20150405gitd57d79fd.fc35 milter-greylist-4.6.4-3.fc35.x86_64 requires libspf2.so.2()(64bit) Depending on: lucene (2), status change: 2021-08-11 (1 weeks ago) javadocofflinesearch (maintained by: jvanek) javadocofflinesearch-2.2-15.fc35.noarch requires lucene-analysis = 8.8.2-1.fc35, lucene-backward-codecs = 8.8.2-1.fc35, lucene-core = 8.8.2-1.fc35, lucene-queries = 8.8.2-1.fc35, lucene-queryparser = 8.8.2-1.fc35 javadocofflinesearch-2.2-15.fc35.src requires lucene-analysis = 8.8.2-1.fc35, lucene-core = 8.8.2-1.fc35, lucene-queries = 8.8.2-1.fc35, lucene-queryparser = 8.8.2-1.fc35 maven-indexer (maintained by: galileo, mbooth, mizdebsk) maven-indexer-6.0.0-8.fc35.noarch requires lucene = 8.8.2-1.fc35, mvn(org.apache.lucene:lucene-analyzers-common) = 8.8.2, mvn(org.apache.lucene:lucene-backward-codecs) = 8.8.2, mvn(org.apache.lucene:lucene-core) = 8.8.2, mvn(org.apache.lucene:lucene-highlighter) = 8.8.2, mvn(org.apache.lucene:lucene-queryparser) = 8.8.2 maven-indexer-6.0.0-8.fc35.src requires mvn(org.apache.lucene:lucene-analyzers-common) = 8.8.2, mvn(org.apache.lucene:lucene-backward-codecs) = 8.8.2, mvn(org.apache.lucene:lucene-core) = 8.8.2, mvn(org.apache.lucene:lucene-highlighter) = 8.8.2, mvn(org.apache.lucene:lucene-queryparser) = 8.8.2 Depending on: mkdocs (8), status change: 2021-08-10 (1 weeks ago) mkdocs-alabaster (maintained by: orphan) mkdocs-alabaster-0.8.0-7.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-alabaster-0.8.0-7.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-bootstrap (maintained by: orphan) mkdocs-bootstrap-1.1-8.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-bootstrap-1.1-8.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-bootswatch (maintained by: orphan) mkdocs-bootswatch-1.1-6.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-bootswatch-1.1-6.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-cinder (maintained by: orphan) mkdocs-cinder-1.0.3-7.fc35.noarch requires mkdocs = 1.1.2-7.fc35 mkdocs-cinder-1.0.3-7.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-markdownextradata-plugin (maintained by: orphan) mkdocs-markdownextradata-plugin-0.2.4-6.fc35.noarch requires python3.10dist(mkdocs) = 1.1.2 mkdocs-markdownextradata-plugin-0.2.4-6.fc35.src requires python3dist(mkdocs) = 1.1.2 mkdocs-material (maintained by: orphan) mkdocs-material-5.0.2-7.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-material-5.0.2-7.fc35.src requires mkdocs = 1.1.2-7.fc35 python-devtools (maintained by: fab) python-devtools-0.6-4.fc35.src requires mkdocs = 1.1.2-7.fc35, mkdocs-material = 5.0.2-7.fc35 python-typer (maintained by: music) python-typer-0.3.2-3.fc35.src requires python3dist(mkdocs) = 1.1.2 Depending on: mkdocs-material (1), status change: 2021-08-10 (1 weeks ago) python-devtools (maintained by: fab) python-devtools-0.6-4.fc35.src requires mkdocs-material = 5.0.2-7.fc35 Depending on: portals-pom (2), status change: 2021-08-06 (2 weeks ago) portlet-2.0-api (maintained by: jjelen) portlet-2.0-api-1.0-24.fc35.src requires mvn(org.apache.portals:portals-pom:pom:) = 1.3 apache-commons-fileupload (maintained by: jerboaa, jjelen, mizdebsk, spike) apache-commons-fileupload-1.4-7.fc35.src requires mvn(javax.portlet:portlet-api) = 1.0 Depending on: python-flask-script (3), status change: 2021-08-18 (0 weeks ago) module-build-service (maintained by: breilly, mikem) module-build-service-3.6.1-1.fc35.noarch requires python3-flask-script = 2.0.6-11.fc35 module-build-service-3.6.1-1.fc35.src requires python3-flask-script = 2.0.6-11.fc35 flatpak-module-tools (maintained by: kalev, otaylor) flatpak-module-tools-0.13-3.fc35.noarch requires module-build-service = 3.6.1-1.fc35 atomic-reactor (maintained by: bkabrda, cverna, infra-sig, maxamillion, ttomecek, twaugh, vrutkovs) python3-atomic-reactor-1.6.47-7.fc35.noarch requires python3.10dist(flatpak-module-tools) = 0.13 Depending on: python-lunr (9), status change: 2021-08-10 (1 weeks ago) mkdocs (maintained by: orphan) mkdocs-1.1.2-7.fc35.noarch requires python3.10dist(lunr) = 0.5.8, python3.10dist(lunr[languages]) = 0.5.8 mkdocs-1.1.2-7.fc35.src requires python3dist(lunr[languages]) = 0.5.8 mkdocs-alabaster (maintained by: orphan) mkdocs-alabaster-0.8.0-7.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-alabaster-0.8.0-7.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-bootstrap (maintained by: orphan) mkdocs-bootstrap-1.1-8.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-bootstrap-1.1-8.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-bootswatch (maintained by: orphan) mkdocs-bootswatch-1.1-6.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-bootswatch-1.1-6.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-cinder (maintained by: orphan) mkdocs-cinder-1.0.3-7.fc35.noarch requires mkdocs = 1.1.2-7.fc35 mkdocs-cinder-1.0.3-7.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-markdownextradata-plugin (maintained by: orphan) mkdocs-markdownextradata-plugin-0.2.4-6.fc35.noarch requires python3.10dist(mkdocs) = 1.1.2 mkdocs-markdownextradata-plugin-0.2.4-6.fc35.src requires python3dist(mkdocs) = 1.1.2 mkdocs-material (maintained by: orphan) mkdocs-material-5.0.2-7.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-material-5.0.2-7.fc35.src requires mkdocs = 1.1.2-7.fc35 python-devtools (maintained by: fab) python-devtools-0.6-4.fc35.src requires mkdocs = 1.1.2-7.fc35, mkdocs-material = 5.0.2-7.fc35 python-typer (maintained by: music) python-typer-0.3.2-3.fc35.src requires python3dist(mkdocs) = 1.1.2 Depending on: python-mdx_gh_links (9), status change: 2021-08-10 (1 weeks ago) mkdocs (maintained by: orphan) mkdocs-1.1.2-7.fc35.noarch requires python3dist(mdx-gh-links) = 0.2 mkdocs-1.1.2-7.fc35.src requires python3dist(mdx-gh-links) = 0.2 mkdocs-alabaster (maintained by: orphan) mkdocs-alabaster-0.8.0-7.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-alabaster-0.8.0-7.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-bootstrap (maintained by: orphan) mkdocs-bootstrap-1.1-8.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-bootstrap-1.1-8.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-bootswatch (maintained by: orphan) mkdocs-bootswatch-1.1-6.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-bootswatch-1.1-6.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-cinder (maintained by: orphan) mkdocs-cinder-1.0.3-7.fc35.noarch requires mkdocs = 1.1.2-7.fc35 mkdocs-cinder-1.0.3-7.fc35.src requires mkdocs = 1.1.2-7.fc35 mkdocs-markdownextradata-plugin (maintained by: orphan) mkdocs-markdownextradata-plugin-0.2.4-6.fc35.noarch requires python3.10dist(mkdocs) = 1.1.2 mkdocs-markdownextradata-plugin-0.2.4-6.fc35.src requires python3dist(mkdocs) = 1.1.2 mkdocs-material (maintained by: orphan) mkdocs-material-5.0.2-7.fc35.noarch requires mkdocs = 1.1.2-7.fc35, python3.10dist(mkdocs) = 1.1.2 mkdocs-material-5.0.2-7.fc35.src requires mkdocs = 1.1.2-7.fc35 python-devtools (maintained by: fab) python-devtools-0.6-4.fc35.src requires mkdocs = 1.1.2-7.fc35, mkdocs-material = 5.0.2-7.fc35 python-typer (maintained by: music) python-typer-0.3.2-3.fc35.src requires python3dist(mkdocs) = 1.1.2 Depending on: python-pymdown-extensions (3), status change: 2021-08-10 (1 weeks ago) mkdocs-material (maintained by: orphan) mkdocs-material-5.0.2-7.fc35.noarch requires python3.10dist(pymdown-extensions) = 7 mkdocs-material-5.0.2-7.fc35.src requires python3dist(pymdown-extensions) = 7 python-typer (maintained by: music) python-typer-0.3.2-3.fc35.src requires python3dist(pymdown-extensions) = 7 python-devtools (maintained by: fab) python-devtools-0.6-4.fc35.src requires mkdocs-material = 5.0.2-7.fc35 Depending on: rhino (5), status change: 2021-08-11 (1 weeks ago) csslint (maintained by: llaumgui, mavit) csslint-1.0.5-4.fc35.noarch requires rhino = 1.7.7.1-15.fc35 freemarker (maintained by: filiperosset) freemarker-2.3.30-3.fc34.src requires rhino = 1.7.7.1-15.fc35 icedtea-web (maintained by: dbhole, jvanek, omajid) icedtea-web-2.0.0-pre.0.3.alpha16.patched1.1.fc35.src requires rhino = 1.7.7.1-15.fc35 icedtea-web-2.0.0-pre.0.3.alpha16.patched1.1.fc35.x86_64 requires rhino = 1.7.7.1-15.fc35 python-javabridge (maintained by: raphgro) python-javabridge-1.0.19-4.fc35.src requires rhino = 1.7.7.1-15.fc35 python3-javabridge-1.0.19-4.fc35.x86_64 requires rhino = 1.7.7.1-15.fc35 vim-syntastic (maintained by: mhjacks) vim-syntastic-css-3.10.0-12.fc35.noarch requires csslint = 1.0.5-4.fc35 Depending on: takari-polyglot (10), status change: 2021-08-11 (1 weeks ago) tycho (maintained by: eclipse-sig, kdaniel, mbooth, mizdebsk, orphan) tycho-2.2.0-4.fc34.noarch requires mvn(io.takari.polyglot:polyglot-common) = 0.4.6 tycho-2.2.0-4.fc34.src requires mvn(io.takari.polyglot:polyglot-common) = 0.4.6, tycho = 2.2.0-4.fc34 cbi-plugins (maintained by: eclipse-sig, kdaniel, mbooth, orphan, rgrunber) cbi-plugins-1.1.7-10.fc35.noarch requires mvn(org.eclipse.tycho:tycho-core) = 2.2.0 cbi-plugins-1.1.7-10.fc35.src requires mvn(org.eclipse.tycho:tycho-core) = 2.2.0 eclipse-ecf (maintained by: eclipse-sig, kdaniel, mbooth, orphan, rgrunber) eclipse-ecf-3.14.19-2.fc34.src requires eclipse-license2 = 2.0.2-3.fc34, tycho = 2.2.0-4.fc34, tycho-extras = 2.2.0-4.fc34 eclipse-egit (maintained by: eclipse-sig, jerboaa, jjohnstn, mbooth, orphan, rgrunber) eclipse-egit-5.11.0-1.fc35.src requires eclipse-jgit = 5.11.0-1.fc35, eclipse-license2 = 2.0.2-3.fc34, tycho = 2.2.0-4.fc34 eclipse-egit-5.11.0-1.fc35.noarch requires eclipse-jgit = 5.11.0-1.fc35 eclipse-emf (maintained by: eclipse-sig, jjohnstn, mbooth, orphan, rgrunber) eclipse-emf-1:2.25.0-1.fc35.src requires tycho = 2.2.0-4.fc34 eclipse-gef (maintained by: eclipse-sig, mbooth, orphan, rgrunber) eclipse-gef-3.11.0-16.fc34.src requires eclipse-license1 = 1.0.1-13.fc34, tycho = 2.2.0-4.fc34 eclipse-jgit (maintained by: eclipse-sig, jerboaa, jjohnstn, mbooth, orphan, rgrunber) eclipse-jgit-5.11.0-1.fc35.src requires tycho = 2.2.0-4.fc34 eclipse-license (maintained by: eclipse-sig, mbooth, orphan) eclipse-license-2.0.2-3.fc34.src requires tycho = 2.2.0-4.fc34 eclipse-subclipse (maintained by: eclipse-sig, kdaniel, mbooth, orphan) eclipse-subclipse-4.3.3-2.fc34.src requires eclipse-gef = 3.11.0-16.fc34, tycho = 2.2.0-4.fc34, tycho-extras = 2.2.0-4.fc34 eclipse-subclipse-4.3.3-2.fc34.noarch requires osgi(org.eclipse.draw2d) = 3.10.100.202102041646, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-webtools (maintained by: eclipse-sig, galileo, mbooth, orphan) eclipse-webtools-3.21.0-1.fc35.src requires eclipse-emf-runtime = 1:2.25.0-1.fc35, eclipse-gef = 3.11.0-16.fc34, eclipse-license2 = 2.0.2-3.fc34, eclipse-xsd = 2.25.0-1.fc35, tycho = 2.2.0-4.fc34 eclipse-webtools-common-3.21.0-1.fc35.noarch requires eclipse-gef = 3.11.0-16.fc34, osgi(org.eclipse.emf.edit) = 2.16.0.v20210310.2325, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-webtools-sourceediting-3.21.0-1.fc35.noarch requires osgi(org.eclipse.emf.ecore.edit) = 2.13.0.v20210310.2325, osgi(org.eclipse.emf.ecore.edit) = 2.14.0.v20210310.2325, osgi(org.eclipse.emf.edit.ui) = 2.19.0.v20210310.2325, osgi(org.eclipse.emf.edit.ui) = 2.20.0.v20210310.2325, osgi(org.eclipse.gef) = 3.11.0.202102041646, osgi(org.eclipse.xsd) = 2.18.0.v20210310.2325, osgi(org.eclipse.xsd) = 2.19.0.v20210310.2325, osgi(org.eclipse.xsd.edit) = 2.11.0.v20210310.2325, osgi(org.eclipse.xsd.edit) = 2.13.0.v20210310.2325 Depending on: tycho (10), status change: 2021-08-11 (1 weeks ago) cbi-plugins (maintained by: eclipse-sig, kdaniel, mbooth, orphan, rgrunber) cbi-plugins-1.1.7-10.fc35.noarch requires mvn(org.eclipse.tycho:tycho-core) = 2.2.0 cbi-plugins-1.1.7-10.fc35.src requires mvn(org.eclipse.tycho:tycho-core) = 2.2.0 eclipse-ecf (maintained by: eclipse-sig, kdaniel, mbooth, orphan, rgrunber) eclipse-ecf-3.14.19-2.fc34.src requires eclipse-license2 = 2.0.2-3.fc34, tycho = 2.2.0-4.fc34, tycho-extras = 2.2.0-4.fc34 eclipse-egit (maintained by: eclipse-sig, jerboaa, jjohnstn, mbooth, orphan, rgrunber) eclipse-egit-5.11.0-1.fc35.src requires eclipse-jgit = 5.11.0-1.fc35, eclipse-license2 = 2.0.2-3.fc34, tycho = 2.2.0-4.fc34 eclipse-egit-5.11.0-1.fc35.noarch requires eclipse-jgit = 5.11.0-1.fc35 eclipse-emf (maintained by: eclipse-sig, jjohnstn, mbooth, orphan, rgrunber) eclipse-emf-1:2.25.0-1.fc35.src requires tycho = 2.2.0-4.fc34 eclipse-gef (maintained by: eclipse-sig, mbooth, orphan, rgrunber) eclipse-gef-3.11.0-16.fc34.src requires eclipse-license1 = 1.0.1-13.fc34, tycho = 2.2.0-4.fc34 eclipse-jgit (maintained by: eclipse-sig, jerboaa, jjohnstn, mbooth, orphan, rgrunber) eclipse-jgit-5.11.0-1.fc35.src requires tycho = 2.2.0-4.fc34 eclipse-license (maintained by: eclipse-sig, mbooth, orphan) eclipse-license-2.0.2-3.fc34.src requires tycho = 2.2.0-4.fc34 eclipse-subclipse (maintained by: eclipse-sig, kdaniel, mbooth, orphan) eclipse-subclipse-4.3.3-2.fc34.src requires eclipse-gef = 3.11.0-16.fc34, tycho = 2.2.0-4.fc34, tycho-extras = 2.2.0-4.fc34 eclipse-subclipse-4.3.3-2.fc34.noarch requires osgi(org.eclipse.draw2d) = 3.10.100.202102041646, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-webtools (maintained by: eclipse-sig, galileo, mbooth, orphan) eclipse-webtools-3.21.0-1.fc35.src requires eclipse-emf-runtime = 1:2.25.0-1.fc35, eclipse-gef = 3.11.0-16.fc34, eclipse-license2 = 2.0.2-3.fc34, eclipse-xsd = 2.25.0-1.fc35, tycho = 2.2.0-4.fc34 eclipse-webtools-common-3.21.0-1.fc35.noarch requires eclipse-gef = 3.11.0-16.fc34, osgi(org.eclipse.emf.edit) = 2.16.0.v20210310.2325, osgi(org.eclipse.gef) = 3.11.0.202102041646 eclipse-webtools-sourceediting-3.21.0-1.fc35.noarch requires osgi(org.eclipse.emf.ecore.edit) = 2.13.0.v20210310.2325, osgi(org.eclipse.emf.ecore.edit) = 2.14.0.v20210310.2325, osgi(org.eclipse.emf.edit.ui) = 2.19.0.v20210310.2325, osgi(org.eclipse.emf.edit.ui) = 2.20.0.v20210310.2325, osgi(org.eclipse.gef) = 3.11.0.202102041646, osgi(org.eclipse.xsd) = 2.18.0.v20210310.2325, osgi(org.eclipse.xsd) = 2.19.0.v20210310.2325, osgi(org.eclipse.xsd.edit) = 2.11.0.v20210310.2325, osgi(org.eclipse.xsd.edit) = 2.13.0.v20210310.2325 tycho (maintained by: eclipse-sig, kdaniel, mbooth, mizdebsk, orphan) tycho-2.2.0-4.fc34.src requires tycho = 2.2.0-4.fc34 Affected (co)maintainers akien: jakarta-commons-httpclient alexlan: jakarta-commons-httpclient amdunn: icu4j atim: nohang, libcommuni avsej: jakarta-commons-httpclient bkabrda: python-flask-script breilly: python-flask-script brouhaha: jakarta-commons-httpclient bruno: jakarta-commons-httpclient cheese: jakarta-commons-httpclient cicku: jakarta-commons-httpclient cverna: python-flask-script dbhole: rhino dchen: lucene, icu4j deamn: icu4j deji: jakarta-commons-httpclient dwmw2: libspf2 dwrobel: jakarta-commons-httpclient ebaron: rhino eclipse-sig: eclipse-m2e-workspace, lucene, eclipse-ecf, tycho, apache-ivy, jakarta-commons-httpclient, cbi-plugins, eclipse-subclipse, takari-polyglot, eclipse-license, ant-contrib, eclipse-gef, eclipse-emf, eclipse-jgit, eclipse-webtools, icu4j, eclipse-egit eclipseo: jakarta-commons-httpclient fab: mkdocs, python-mdx_gh_links, mkdocs-material, python-pymdown-extensions, python-lunr, jakarta-commons-httpclient filiperosset: rhino fnasser: icu4j fujiwara: jakarta-commons-httpclient galileo: jakarta-commons-httpclient, lucene, takari-polyglot, apache-ivy, tycho, eclipse-license, ant-contrib, eclipse-gef, eclipse-emf, eclipse-webtools, icu4j greghellings: jakarta-commons-httpclient helloworld1: jakarta-commons-httpclient infra-sig: python-flask-script ishcherb: python-flask-script java-maint-sig: apache-ivy, jakarta-commons-httpclient, ant-contrib jerboaa: portals-pom, lucene, takari-polyglot, tycho, felix-gogo-runtime, eclipse-egit, eclipse-license, icu4j, eclipse-jgit, felix-gogo-parent, felix-scr jfearn: jakarta-commons-httpclient jjames: icu4j jjelen: portals-pom jjohnstn: tycho, eclipse-license, takari-polyglot, eclipse-emf, eclipse-jgit, eclipse-egit jkaluza: python-flask-script jorton: jakarta-commons-httpclient jskarvad: libspf2 jstribny: rubygem-hashie jvanek: lucene, apache-ivy, rhino, ant-contrib, icu4j, jakarta-commons-httpclient jwrdegoede: jakarta-commons-httpclient kalev: python-flask-script kanarip: libspf2 kdaniel: jakarta-commons-httpclient, tycho, eclipse-ecf, apache-ivy, takari-polyglot, cbi-plugins, eclipse-subclipse, eclipse-license, ant-contrib, eclipse-gef, icu4j kevin: libspf2 larsks: spectrwm laxathom: jakarta-commons-httpclient lef: lucene, jakarta-commons-httpclient, icu4j liangsuilong: jakarta-commons-httpclient limb: jakarta-commons-httpclient linkdupont: jakarta-commons-httpclient lkundrak: jakarta-commons-httpclient llaumgui: rhino lsm5: spectrwm mavit: rhino maxamillion: python-flask-script mbooth: felix-gogo-runtime, eclipse-subclipse, felix-gogo-parent, tycho, cbi-plugins, eclipse-license, ant-contrib, eclipse-gef, icu4j, lucene, apache-ivy, takari-polyglot, eclipse-jgit, jakarta-commons-httpclient, eclipse-egit, eclipse-m2e-workspace, eclipse-ecf, eclipse-emf, eclipse-webtools, felix-scr mhayden: icu4j mhjacks: rhino, icu4j mikem: python-flask-script mizdebsk: apache-rat, portals-pom, eclipse-m2e-workspace, felix-gogo-shell, jakarta-commons-httpclient, apache-ivy, felix-gogo-runtime, tycho, lucene, takari-polyglot, ant-contrib, icu4j, felix-gogo-parent mlichvar: jakarta-commons-httpclient moceap: jakarta-commons-httpclient msimacek: lucene, icu4j mskalick: jakarta-commons-httpclient music: python-lunr, python-pymdown-extensions, mkdocs, python-mdx_gh_links neuro-sig: jlems nphilipp: jakarta-commons-httpclient omajid: rhino orion: apache-ivy, jakarta-commons-httpclient, ant-contrib otaylor: python-flask-script panovotn: jakarta-commons-httpclient pcpa: jakarta-commons-httpclient peter: jakarta-commons-httpclient pghmcfc: libspf2 pwalter: jakarta-commons-httpclient pwu: jakarta-commons-httpclient ralph: python-flask-script raphgro: rhino rgrunber: lucene, jakarta-commons-httpclient, eclipse-ecf, apache-ivy, takari-polyglot, tycho, cbi-plugins, eclipse-license, ant-contrib, eclipse-gef, eclipse-emf, eclipse-jgit, icu4j, eclipse-egit rjones: jakarta-commons-httpclient, icu4j rlandmann: jakarta-commons-httpclient rmattes: jakarta-commons-httpclient rust-sig: rust-tower-test, rust-line_drawing, rust-tower-util s4504kr: jakarta-commons-httpclient sagitter: jakarta-commons-httpclient salimma: icu4j sgallagh: python-pymdown-extensions smani: jakarta-commons-httpclient spike: portals-pom spot: jakarta-commons-httpclient teuf: jakarta-commons-httpclient timn: jakarta-commons-httpclient tomh: jakarta-commons-httpclient ttomecek: python-flask-script ttorling: jakarta-commons-httpclient twaugh: python-flask-script valtri: rubygem-logstasher, rubygem-hashie verdurin: jakarta-commons-httpclient vrutkovs: python-flask-script zzambers: apache-ivy, jakarta-commons-httpclient, ant-contrib Orphans (55): ant-contrib apache-ivy apache-rat bugzilla2fedmsg cbi-plugins eclipse-ecf eclipse-egit eclipse-emf eclipse-gef eclipse-jgit eclipse-license eclipse-m2e-workspace eclipse-subclipse eclipse-webtools felix-gogo-command felix-gogo-parent felix-gogo-runtime felix-gogo-shell felix-scr icu4j jakarta-commons-httpclient jlems jsemver libcommuni libspf2 lucene mkdocs mkdocs-alabaster mkdocs-bootstrap mkdocs-bootswatch mkdocs-cinder mkdocs-markdownextradata-plugin mkdocs-material nohang olpc-netutils olpc-switch-desktop portals-pom python-django-braces python-flask-script python-getkey python-lunr python-mdx_gh_links python-opencensus python-pymdown-extensions python-ruamel-std-pathlib rhino rubygem-hashie rubygem-logstasher rust-line_drawing rust-tower-test rust-tower-util spectrwm svgsalamander takari-polyglot tycho Orphans (dependend on) (22): ant-contrib apache-ivy eclipse-emf eclipse-gef eclipse-jgit eclipse-license felix-gogo-parent felix-gogo-runtime icu4j jakarta-commons-httpclient libspf2 lucene mkdocs mkdocs-material portals-pom python-flask-script python-lunr python-mdx_gh_links python-pymdown-extensions rhino takari-polyglot tycho Orphans (rawhide) for at least 6 weeks (dependend on) (0): Orphans (rawhide) (not depended on) (33): apache-rat bugzilla2fedmsg cbi-plugins eclipse-ecf eclipse-egit eclipse-m2e-workspace eclipse-subclipse eclipse-webtools felix-gogo-command felix-gogo-shell felix-scr jlems jsemver libcommuni mkdocs-alabaster mkdocs-bootstrap mkdocs-bootswatch mkdocs-cinder mkdocs-markdownextradata-plugin nohang olpc-netutils olpc-switch-desktop python-django-braces python-getkey python-opencensus python-ruamel-std-pathlib rubygem-hashie rubygem-logstasher rust-line_drawing rust-tower-test rust-tower-util spectrwm svgsalamander Orphans (rawhide) for at least 6 weeks (not dependend on) (0): Depending packages (rawhide) (88): alt-ergo ant-contrib antlr4-project apache-commons-fileupload atomic-reactor azure-cli bibletime boswars cbi-plugins coccinelle compat-tolua++ coq csslint eclipse-ecf eclipse-egit eclipse-emf eclipse-gef eclipse-jgit eclipse-license eclipse-subclipse eclipse-webtools endless-sky exim felix-gogo-command felix-gogo-runtime felix-gogo-shell felix-scr flatpak-module-tools flocq fop forbidden-apis frama-c freemarker gappalib-coq glob2 godot gpsd icedtea-web java-sleep javadocofflinesearch lcdtest libffado libnxt libserf lucene mapnik maven-indexer milter-greylist mingw-nsis minicomputer mkdocs mkdocs-alabaster mkdocs-bootstrap mkdocs-bootswatch mkdocs-cinder mkdocs-markdownextradata-plugin mkdocs-material moconti module-build-service mypaint netpanzer ocaml-atd ocaml-menhir ocaml-merlin ocaml-psmt2-frontend opendmarc openjfx pingus portlet-2.0-api publican python-devtools python-javabridge python-typer rmlint sagemath sar2 scons sunpinyin tolua++ tycho v8-314 vdrift vim-syntastic wesnoth why3 xmvn-connector-ivy zenon zfs-fuse Packages depending on packages orphaned (rawhide) for more than 6 weeks (0): Not found in repo (rawhide) (4): olpc-netutils python-django-braces python-getkey python-ruamel-std-pathlib -- The script creating this output is run and developed by Fedora Release Engineering. Please report issues at its pagure instance: https://pagure.io/releng/ The sources of this script can be found at: https://pagure.io/releng/blob/main/f/scripts/find_unblocked_orphans.py