Download JAR files tagged by constrained with all dependencies

cf-oscore from group org.eclipse.californium (version 4.0.0-M2)

Californium (Cf) OSCORE, Object Security for Constrained RESTful Environments

Group: org.eclipse.californium Artifact: cf-oscore
Show all versions Show documentation Show source

0 downloads

Artifact cf-oscore
Group org.eclipse.californium
Version 4.0.0-M2
Last update 12. December 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 4
Dependencies californium-legal, californium-core, scandium, cbor,
There are maybe transitive dependencies!

constrainedDelegation-1.0 from group io.openliberty.features (version 24.0.0.12)

Group: io.openliberty.features Artifact: constrainedDelegation-1.0
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact constrainedDelegation-1.0
Group io.openliberty.features
Version 24.0.0.12

com.ibm.websphere.appserver.api.constrainedDelegation from group com.ibm.websphere.appserver.api (version 1.0.96)

WebSphere Security Constrained Delegation (S4U2self and S4U2proxy), version 1.0

Group: com.ibm.websphere.appserver.api Artifact: com.ibm.websphere.appserver.api.constrainedDelegation
Show all versions

7 downloads

Artifact com.ibm.websphere.appserver.api.constrainedDelegation
Group com.ibm.websphere.appserver.api
Version 1.0.96
Last update 02. December 2024
Organization IBM
URL Not specified
License not specified
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

eldarica_2.13 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica_2.13
Show documentation Show source

0 downloads

Artifact eldarica_2.13
Group io.github.uuverifiers
Version 2.1

eldarica-cc-parser_2.13 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.13
Show documentation Show source

0 downloads

Artifact eldarica-cc-parser_2.13
Group io.github.uuverifiers
Version 2.1

eldarica-tplspec-parser_2.13 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.13
Show documentation Show source

0 downloads

Artifact eldarica-tplspec-parser_2.13
Group io.github.uuverifiers
Version 2.1

eldarica_2.12 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica_2.12
Show documentation Show source

0 downloads

Artifact eldarica_2.12
Group io.github.uuverifiers
Version 2.1

eldarica-tplspec-parser_2.12 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.12
Show documentation Show source

0 downloads

Artifact eldarica-tplspec-parser_2.12
Group io.github.uuverifiers
Version 2.1

eldarica-cc-parser_2.12 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.12
Show documentation Show source

0 downloads

Artifact eldarica-cc-parser_2.12
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

eldarica_2.11 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica_2.11
Show documentation Show source

0 downloads

Artifact eldarica_2.11
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 9
Dependencies scala-library, eldarica-cc-parser_2.11, eldarica-tplspec-parser_2.11, scala-parser-combinators_2.11, java-cup, antlr, scala-xml_2.11, scalactic_2.11, princess_2.11,
There are maybe transitive dependencies!

Page 2 from 3 (items total 42)