Download JAR files tagged by assistant with all dependencies
mq-assistant-core from group cool.doudou (version 2.0.1)
MQ Assistant
0 downloads
Artifact mq-assistant-core
Group cool.doudou
Version 2.0.1
Last update 08. August 2022
Organization not specified
URL https://github.com/jiangchengshi/mq-assistant
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies mq-assistant-annotation,
There are maybe transitive dependencies!
Group cool.doudou
Version 2.0.1
Last update 08. August 2022
Organization not specified
URL https://github.com/jiangchengshi/mq-assistant
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies mq-assistant-annotation,
There are maybe transitive dependencies!
mq-assistant-boot-starter from group cool.doudou (version 2.0.1)
MQ Assistant
Group: cool.doudou Artifact: mq-assistant-boot-starter
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact mq-assistant-boot-starter
Group cool.doudou
Version 2.0.1
Last update 08. August 2022
Organization not specified
URL https://github.com/jiangchengshi/mq-assistant
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies mq-assistant-core,
There are maybe transitive dependencies!
Group cool.doudou
Version 2.0.1
Last update 08. August 2022
Organization not specified
URL https://github.com/jiangchengshi/mq-assistant
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies mq-assistant-core,
There are maybe transitive dependencies!
mq-assistant-annotation from group cool.doudou (version 2.0.1)
MQ Assistant
Group: cool.doudou Artifact: mq-assistant-annotation
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact mq-assistant-annotation
Group cool.doudou
Version 2.0.1
Last update 08. August 2022
Organization not specified
URL https://github.com/jiangchengshi/mq-assistant
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group cool.doudou
Version 2.0.1
Last update 08. August 2022
Organization not specified
URL https://github.com/jiangchengshi/mq-assistant
License The Apache License, Version 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
pay-assistant-core from group cool.doudou (version 2.0.0)
0 downloads
pay-assistant-boot-starter from group cool.doudou (version 2.0.0)
Group: cool.doudou Artifact: pay-assistant-boot-starter
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
pay-assistant-annotation from group cool.doudou (version 2.0.0)
Group: cool.doudou Artifact: pay-assistant-annotation
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
tools-repl from group org.aya-prover (version 0.34.0)
The Aya proof assistant
0 downloads
Artifact tools-repl
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 4
Dependencies pretty, tools, jline-reader, jline-terminal,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 4
Dependencies pretty, tools, jline-reader, jline-terminal,
There are maybe transitive dependencies!
tools-md from group org.aya-prover (version 0.34.0)
The Aya proof assistant
0 downloads
Artifact tools-md
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies tools-kala, annotations, commonmark,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies tools-kala, annotations, commonmark,
There are maybe transitive dependencies!
tools-kala from group org.aya-prover (version 0.34.0)
The Aya proof assistant
0 downloads
Artifact tools-kala
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies kala-common, tools,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies kala-common, tools,
There are maybe transitive dependencies!
tools from group org.aya-prover (version 0.34.0)
The Aya proof assistant
Artifact tools
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies annotations, kala-collection, pretty,
There are maybe transitive dependencies!
Group org.aya-prover
Version 0.34.0
Last update 18. November 2024
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies annotations, kala-collection, pretty,
There are maybe transitive dependencies!
Page 1 from 3 (items total 164)
© 2015 - 2024 Weber Informatics LLC | Privacy Policy