All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • Download org.aya-prover.upstream JAR files with all dependencies


    jb-md-ij from group org.aya-prover.upstream (version 0.0.32)

    Upstream dependencies with JPMS support

    Group: org.aya-prover.upstream Artifact: jb-md-ij
    Show all versions Show documentation Show source 
    Download jb-md-ij.jar (0.0.32)
     

    0 downloads
    Artifact jb-md-ij
    Group org.aya-prover.upstream
    Version 0.0.32
    Last update 18. December 2024
    Organization not specified
    URL https://www.aya-prover.org
    License Apache-2.0
    Dependencies amount 2
    Dependencies jb-md, kotlin-stdlib,
    There are maybe transitive dependencies!

    jb-md from group org.aya-prover.upstream (version 0.0.32)

    Upstream dependencies with JPMS support

    Group: org.aya-prover.upstream Artifact: jb-md
    Show all versions Show documentation Show source 
    Download jb-md.jar (0.0.32)
     

    0 downloads
    Artifact jb-md
    Group org.aya-prover.upstream
    Version 0.0.32
    Last update 18. December 2024
    Organization not specified
    URL https://www.aya-prover.org
    License Apache-2.0
    Dependencies amount 2
    Dependencies ij-parsing-core, kotlin-stdlib,
    There are maybe transitive dependencies!

    lang-syntax from group org.aya-prover.upstream (version 0.0.32)

    Group: org.aya-prover.upstream Artifact: lang-syntax
    Show all versions Show documentation Show source 
    Download lang-syntax.jar (0.0.32)
     

    0 downloads
    Artifact lang-syntax
    Group org.aya-prover.upstream
    Version 0.0.32

    ij-parsing-wrapper from group org.aya-prover.upstream (version 0.0.32)

    Upstream dependencies with JPMS support

    Group: org.aya-prover.upstream Artifact: ij-parsing-wrapper
    Show all versions Show documentation Show source 
    Download ij-parsing-wrapper.jar (0.0.32)
     

    0 downloads
    Artifact ij-parsing-wrapper
    Group org.aya-prover.upstream
    Version 0.0.32
    Last update 18. December 2024
    Organization not specified
    URL https://www.aya-prover.org
    License Apache-2.0
    Dependencies amount 1
    Dependencies ij-parsing-core,
    There are maybe transitive dependencies!

    ij-parsing-core from group org.aya-prover.upstream (version 0.0.32)

    Upstream dependencies with JPMS support

    Group: org.aya-prover.upstream Artifact: ij-parsing-core
    Show all versions Show documentation Show source 
    Download ij-parsing-core.jar (0.0.32)
     

    0 downloads
    Artifact ij-parsing-core
    Group org.aya-prover.upstream
    Version 0.0.32
    Last update 18. December 2024
    Organization not specified
    URL https://www.aya-prover.org
    License Apache-2.0
    Dependencies amount 4
    Dependencies kala-common, ij-util-text, lang-syntax, kotlin-stdlib,
    There are maybe transitive dependencies!

    ij-layout-lexer from group org.aya-prover.upstream (version 0.0.32)

    Group: org.aya-prover.upstream Artifact: ij-layout-lexer
    Show documentation Show source 
    Download ij-layout-lexer.jar (0.0.32)
     

    0 downloads
    Artifact ij-layout-lexer
    Group org.aya-prover.upstream
    Version 0.0.32

    ij-gk-parser from group org.aya-prover.upstream (version 0.0.32)

    Group: org.aya-prover.upstream Artifact: ij-gk-parser
    Show documentation Show source 
    Download ij-gk-parser.jar (0.0.32)
     

    0 downloads
    Artifact ij-gk-parser
    Group org.aya-prover.upstream
    Version 0.0.32

    javacs-protocol from group org.aya-prover.upstream (version 0.0.32)

    Upstream dependencies with JPMS support

    Group: org.aya-prover.upstream Artifact: javacs-protocol
    Show all versions Show documentation Show source 
    Download javacs-protocol.jar (0.0.32)
     

    0 downloads
    Artifact javacs-protocol
    Group org.aya-prover.upstream
    Version 0.0.32
    Last update 18. December 2024
    Organization not specified
    URL https://www.aya-prover.org
    License Apache-2.0
    Dependencies amount 3
    Dependencies annotations, kala-common, gson,
    There are maybe transitive dependencies!

    ij-util-text from group org.aya-prover.upstream (version 0.0.32)

    Upstream dependencies with JPMS support

    Group: org.aya-prover.upstream Artifact: ij-util-text
    Show all versions Show documentation Show source 
    Download ij-util-text.jar (0.0.32)
     

    0 downloads
    Artifact ij-util-text
    Group org.aya-prover.upstream
    Version 0.0.32
    Last update 18. December 2024
    Organization not specified
    URL https://www.aya-prover.org
    License Apache-2.0
    Dependencies amount 2
    Dependencies annotations, kala-collection,
    There are maybe transitive dependencies!

    build-util-jflex from group org.aya-prover.upstream (version 0.0.32)

    Upstream dependencies with JPMS support

    Group: org.aya-prover.upstream Artifact: build-util-jflex
    Show all versions Show documentation Show source 
    Download build-util-jflex.jar (0.0.32)
     

    0 downloads
    Artifact build-util-jflex
    Group org.aya-prover.upstream
    Version 0.0.32
    Last update 18. December 2024
    Organization not specified
    URL https://www.aya-prover.org
    License Apache-2.0
    Dependencies amount 0
    Dependencies No dependencies
    There are maybe transitive dependencies!


    Page 1 from 2 (items total 12)


    © 2015 - 2024 Weber Informatics LLC | Privacy Policy