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

    • Download all versions of jb-md JAR files with all 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 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
    Tags: with upstream jpms support dependencies
    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!

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

    Upstream dependencies with JPMS support

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

    0 downloads
    Artifact jb-md
    Group org.aya-prover.upstream
    Version 0.0.31
    Last update 15. December 2024
    Tags: with upstream jpms support dependencies
    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!

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

    Upstream dependencies with JPMS support

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

    0 downloads
    Artifact jb-md
    Group org.aya-prover.upstream
    Version 0.0.30
    Last update 15. December 2024
    Tags: with upstream jpms support dependencies
    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!


    Page 1 from 1 (items total 3)


    © 2015 - 2025 Weber Informatics LLC | Privacy Policy