this repo has no description

Change git://github.com to git+https://github.com

Changed files
+298 -298
packages
SZXX
SZXX.2.0.0
SZXX.2.1.0
SZXX.2.1.1
SZXX.2.1.2
SZXX.2.2.0
SZXX.2.3.0
SZXX.3.0.0
SZXX.3.0.1
SZXX.3.0.2
SZXX.3.0.4
SZXX.4.0.0
SZXX.4.0.1
SZXX.4.1.0
SZXX.4.1.1
SZXX.4.1.3
bap
bap.2.4.0
bap-abi
bap-abi.2.4.0
bap-abi.2.5.0
bap-analyze
bap-analyze.2.4.0
bap-analyze.2.5.0
bap-api
bap-api.2.4.0
bap-api.2.5.0
bap-arm
bap-arm.2.4.0
bap-arm.2.5.0
bap-beagle
bap-beagle.2.4.0
bap-beagle.2.5.0
bap-beagle-strings
bap-beagle-strings.2.4.0
bap-beagle-strings.2.5.0
bap-bil
bap-bil.2.4.0
bap-bil.2.5.0
bap-build
bap-build.2.4.0
bap-build.2.5.0
bap-bundle
bap-bundle.2.4.0
bap-bundle.2.5.0
bap-byteweight
bap-byteweight.2.4.0
bap-byteweight.2.5.0
bap-byteweight-frontend
bap-byteweight-frontend.2.4.0
bap-byteweight-frontend.2.5.0
bap-c
bap-c.2.4.0
bap-c.2.5.0
bap-cache
bap-cache.2.4.0
bap-cache.2.5.0
bap-callgraph-collator
bap-callgraph-collator.2.4.0
bap-callgraph-collator.2.5.0
bap-callsites
bap-callsites.2.4.0
bap-callsites.2.5.0
bap-constant-tracker
bap-constant-tracker.2.4.0
bap-constant-tracker.2.5.0
bap-core
bap-core.2.4.0
bap-core.2.5.0
bap-core-theory
bap-core-theory.2.4.0
bap-core-theory.2.5.0
bap-cxxfilt
bap-cxxfilt.2.4.0
bap-cxxfilt.2.5.0
bap-demangle
bap-demangle.2.4.0
bap-demangle.2.5.0
bap-dependencies
bap-dependencies.2.4.0
bap-dependencies.2.5.0
bap-disassemble
bap-disassemble.2.4.0
bap-disassemble.2.5.0
bap-dump-symbols
bap-dump-symbols.2.4.0
bap-dump-symbols.2.5.0
bap-dwarf
bap-dwarf.2.4.0
bap-dwarf.2.5.0
bap-elementary
bap-elementary.2.4.0
bap-elementary.2.5.0
bap-elf
bap-elf.2.4.0
bap-elf.2.5.0
bap-extra
bap-extra.2.4.0
bap-extra.2.5.0
bap-flatten
bap-flatten.2.4.0
bap-flatten.2.5.0
bap-frontc
bap-frontc.2.4.0
bap-frontc.2.5.0
bap-frontend
bap-frontend.2.4.0
bap-frontend.2.5.0
bap-fsi-benchmark
bap-fsi-benchmark.2.4.0
bap-fsi-benchmark.2.5.0
bap-future
bap-future.2.4.0
bap-future.2.5.0
bap-ghidra
bap-ghidra.2.4.0
bap-ghidra.2.5.0
bap-glibc-runtime
bap-glibc-runtime.2.4.0
bap-glibc-runtime.2.5.0
bap-ida
bap-ida.2.4.0
bap-ida.2.5.0
bap-ida-plugin
bap-ida-plugin.2.4.0
bap-ida-plugin.2.5.0
bap-knowledge
bap-knowledge.2.4.0
bap-knowledge.2.5.0
bap-llvm
bap-llvm.2.4.0
bap-llvm.2.5.0
bap-main
bap-main.2.4.0
bap-main.2.5.0
bap-mc
bap-mc.2.4.0
bap-mc.2.5.0
bap-microx
bap-microx.2.4.0
bap-microx.2.5.0
bap-mips
bap-mips.2.4.0
bap-mips.2.5.0
bap-objdump
bap-objdump.2.4.0
bap-objdump.2.5.0
bap-optimization
bap-optimization.2.4.0
bap-optimization.2.5.0
bap-patterns
bap-patterns.2.4.0
bap-patterns.2.5.0
bap-phoenix
bap-phoenix.2.4.0
bap-phoenix.2.5.0
bap-piqi
bap-piqi.2.4.0
bap-piqi.2.5.0
bap-plugins
bap-plugins.2.4.0
bap-plugins.2.5.0
bap-powerpc
bap-powerpc.2.4.0
bap-powerpc.2.5.0
bap-primus
bap-primus.2.4.0
bap-primus.2.5.0
bap-primus-dictionary
bap-primus-dictionary.2.4.0
bap-primus-dictionary.2.5.0
bap-primus-exploring-scheduler
bap-primus-exploring-scheduler.2.4.0
bap-primus-exploring-scheduler.2.5.0
bap-primus-greedy-scheduler
bap-primus-greedy-scheduler.2.4.0
bap-primus-greedy-scheduler.2.5.0
bap-primus-limit
bap-primus-limit.2.4.0
bap-primus-limit.2.5.0
bap-primus-lisp
bap-primus-lisp.2.4.0
bap-primus-lisp.2.5.0
bap-primus-loader
bap-primus-loader.2.4.0
bap-primus-loader.2.5.0
bap-primus-mark-visited
bap-primus-mark-visited.2.4.0
bap-primus-mark-visited.2.5.0
bap-primus-powerpc
bap-primus-powerpc.2.4.0
bap-primus-powerpc.2.5.0
bap-primus-print
bap-primus-print.2.4.0
bap-primus-print.2.5.0
bap-primus-promiscuous
bap-primus-promiscuous.2.4.0
bap-primus-promiscuous.2.5.0
bap-primus-propagate-taint
bap-primus-propagate-taint.2.4.0
bap-primus-propagate-taint.2.5.0
bap-primus-random
bap-primus-random.2.4.0
bap-primus-random.2.5.0
bap-primus-region
bap-primus-region.2.4.0
bap-primus-region.2.5.0
bap-primus-round-robin-scheduler
bap-primus-round-robin-scheduler.2.4.0
bap-primus-round-robin-scheduler.2.5.0
bap-primus-support
bap-primus-support.2.4.0
bap-primus-support.2.5.0
bap-primus-symbolic-executor
bap-primus-symbolic-executor.2.4.0
bap-primus-symbolic-executor.2.5.0
bap-primus-systems
bap-primus-systems.2.4.0
bap-primus-systems.2.5.0
bap-primus-taint
bap-primus-taint.2.4.0
bap-primus-taint.2.5.0
bap-primus-test
bap-primus-test.2.4.0
bap-primus-test.2.5.0
bap-primus-track-visited
bap-primus-track-visited.2.4.0
bap-primus-track-visited.2.5.0
bap-primus-wandering-scheduler
bap-primus-wandering-scheduler.2.4.0
bap-primus-wandering-scheduler.2.5.0
bap-primus-x86
bap-primus-x86.2.4.0
bap-primus-x86.2.5.0
bap-print
bap-print.2.4.0
bap-print.2.5.0
bap-radare2
bap-radare2.2.4.0
bap-radare2.2.5.0
bap-raw
bap-raw.2.4.0
bap-raw.2.5.0
bap-recipe
bap-recipe.2.4.0
bap-recipe.2.5.0
bap-recipe-command
bap-recipe-command.2.4.0
bap-recipe-command.2.5.0
bap-relation
bap-relation.2.4.0
bap-relation.2.5.0
bap-relocatable
bap-relocatable.2.4.0
bap-relocatable.2.5.0
bap-report
bap-report.2.4.0
bap-report.2.5.0
bap-riscv
bap-riscv.2.4.0
bap-riscv.2.5.0
bap-run
bap-run.2.4.0
bap-run.2.5.0
bap-signatures
bap-signatures.2.4.0
bap-signatures.2.5.0
bap-specification
bap-specification.2.4.0
bap-specification.2.5.0
bap-ssa
bap-ssa.2.4.0
bap-ssa.2.5.0
bap-std
bap-std.2.4.0
bap-std.2.5.0
bap-strings
bap-strings.2.4.0
bap-strings.2.5.0
bap-stub-resolver
bap-stub-resolver.2.4.0
bap-stub-resolver.2.5.0
bap-symbol-reader
bap-symbol-reader.2.4.0
bap-symbol-reader.2.5.0
bap-systemz
bap-systemz.2.4.0
bap-systemz.2.5.0
bap-taint
bap-taint.2.4.0
bap-taint.2.5.0
bap-taint-propagator
bap-taint-propagator.2.4.0
bap-taint-propagator.2.5.0
bap-term-mapper
bap-term-mapper.2.4.0
bap-term-mapper.2.5.0
bap-thumb
bap-thumb.2.4.0
bap-thumb.2.5.0
bap-toplevel
bap-toplevel.2.4.0
bap-toplevel.2.5.0
bap-trace
bap-trace.2.4.0
bap-trace.2.5.0
bap-traces
bap-traces.2.4.0
bap-traces.2.5.0
bap-trivial-condition-form
bap-trivial-condition-form.2.4.0
bap-trivial-condition-form.2.5.0
bap-warn-unused
bap-warn-unused.2.4.0
bap-warn-unused.2.5.0
bap-x86
bap-x86.2.4.0
bap-x86.2.5.0
bare
bare.2.4.0
bare.2.5.0
batteries
batteries.3.5.0
batteries.3.5.1
batteries.3.6.0
bitvec
bitvec.2.4.0
bitvec.2.5.0
bitvec-binprot
bitvec-binprot.2.4.0
bitvec-binprot.2.5.0
bitvec-order
bitvec-order.2.4.0
bitvec-order.2.5.0
bitvec-sexp
bitvec-sexp.2.4.0
bitvec-sexp.2.5.0
camlpdf
camlpdf.2.5
camlpdf.2.6
camlpdf.2.7
fuzzy_compare
fuzzy_compare.1.0.0
fuzzy_compare.2.0.0
fuzzy_compare.2.0.1
gospel
gospel.0.1.0
gospel.0.2.0
graphlib
graphlib.2.4.0
graphlib.2.5.0
lz4
lz4.1.2.0
monads
monads.2.4.0
monads.2.5.0
mperf
mperf.0.5.0
ocaml-sat-solvers
ocaml-sat-solvers.0.7
ocaml-sat-solvers.0.7.1
ogre
ogre.2.4.0
ogre.2.5.0
opam-grep
opam-grep.0.3.0
pilat
pilat.1.6
plato
plato.1.1.2
plato.1.1.3
polly
polly.0.4.1
ppx_deriving_rpc
ppx_deriving_rpc.8.1.1
ppx_deriving_rpc.8.1.2
ppx_deriving_rpc.9.0.0
ppx_units
ppx_units.1.0.0
reason
reason.3.8.0
regular
regular.2.4.0
regular.2.5.0
rpc
rpc.8.1.1
rpc.8.1.2
rpc.9.0.0
rpclib
rpclib.8.1.1
rpclib.8.1.2
rpclib.9.0.0
rpclib-async
rpclib-async.8.1.1
rpclib-async.8.1.2
rpclib-async.9.0.0
rpclib-html
rpclib-html.8.1.1
rpclib-html.8.1.2
rpclib-html.9.0.0
rpclib-js
rpclib-js.8.1.1
rpclib-js.8.1.2
rpclib-js.9.0.0
rpclib-lwt
rpclib-lwt.8.1.1
rpclib-lwt.8.1.2
rpclib-lwt.9.0.0
rtop
rtop.3.8.0
tablecloth-base
tablecloth-base.0.0.9
tablecloth-melange
tablecloth-melange.0.0.9
tablecloth-native
tablecloth-native.0.0.8
tablecloth-native.transition
tdigest
tdigest.1.0.0
tdigest.2.0.0
tdigest.2.1.0
tdigest.2.1.1
tdigest.2.1.2
tdigest.2.1.3
tdigest.2.2.0
text-tags
text-tags.2.4.0
text-tags.2.5.0
unison
unison.2.51.5
unison.2.52.0
unison.2.53.0
unison.2.53.3
unison.2.53.4
unison-gui
unison-gui.2.53.4
zstd
zstd.0.3
+1 -1
packages/SZXX/SZXX.2.0.0/opam
···
license: "MIT"
tags: ["Stream" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.2.1.0/opam
···
license: "MIT"
tags: ["Stream" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.2.1.1/opam
···
license: "MIT"
tags: ["Stream" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.2.1.2/opam
···
license: "MIT"
tags: ["Stream" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.2.2.0/opam
···
license: "MIT"
tags: ["Stream" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.2.3.0/opam
···
license: "MIT"
tags: ["Stream" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.3.0.0/opam
···
license: "MIT"
tags: ["Stream" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.3.0.1/opam
···
license: "MIT"
tags: ["Stream" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.3.0.2/opam
···
license: "MIT"
tags: ["Stream" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.3.0.4/opam
···
license: "MIT"
tags: ["Stream" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.4.0.0/opam
···
license: "MIT"
tags: ["Stream" "Streaming" "Excel" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.4.0.1/opam
···
license: "MIT"
tags: ["Stream" "Streaming" "Excel" "ZIP" "XML" "XLSX"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.4.1.0/opam
···
license: "MIT"
tags: ["XLSX" "Excel" "ZIP" "XML" "spreadsheet" "Stream" "Streaming"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.4.1.1/opam
···
license: "MIT"
tags: ["XLSX" "Excel" "ZIP" "XML" "spreadsheet" "Stream" "Streaming"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/SZXX/SZXX.4.1.3/opam
···
license: "MIT"
tags: ["XLSX" "Excel" "ZIP" "XML" "spreadsheet" "Stream" "Streaming"]
homepage: "https://github.com/asemio/SZXX"
-
dev-repo: "git://github.com/asemio/SZXX"
+
dev-repo: "git+https://github.com/asemio/SZXX"
doc: "https://github.com/asemio/SZXX"
bug-reports: "https://github.com/asemio/SZXX/issues"
depends: [
+1 -1
packages/bap-abi/bap-abi.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-abi"]
+1 -1
packages/bap-abi/bap-abi.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-abi"]
+1 -1
packages/bap-analyze/bap-analyze.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-analyze"]
+1 -1
packages/bap-analyze/bap-analyze.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-analyze"]
+1 -1
packages/bap-api/bap-api.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-api"]
+1 -1
packages/bap-api/bap-api.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-api"]
+1 -1
packages/bap-arm/bap-arm.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-arm"]
+1 -1
packages/bap-arm/bap-arm.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-arm"]
+1 -1
packages/bap-beagle-strings/bap-beagle-strings.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-strings"]
+1 -1
packages/bap-beagle-strings/bap-beagle-strings.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-strings"]
+1 -1
packages/bap-beagle/bap-beagle.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-beagle"]
+1 -1
packages/bap-beagle/bap-beagle.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-beagle"]
+1 -1
packages/bap-bil/bap-bil.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bil"]
+1 -1
packages/bap-bil/bap-bil.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bil"]
+1 -1
packages/bap-build/bap-build.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-build"]
+1 -1
packages/bap-build/bap-build.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-build"]
+1 -1
packages/bap-bundle/bap-bundle.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bundle"]
+1 -1
packages/bap-bundle/bap-bundle.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bundle"]
+1 -1
packages/bap-byteweight-frontend/bap-byteweight-frontend.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-byteweight-frontend"]
+1 -1
packages/bap-byteweight-frontend/bap-byteweight-frontend.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-byteweight-frontend"]
+1 -1
packages/bap-byteweight/bap-byteweight.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-byteweight"]
+1 -1
packages/bap-byteweight/bap-byteweight.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-byteweight"]
+1 -1
packages/bap-c/bap-c.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-c"]
+1 -1
packages/bap-c/bap-c.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-c"]
+1 -1
packages/bap-cache/bap-cache.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-cache"]
+1 -1
packages/bap-cache/bap-cache.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-cache"]
+1 -1
packages/bap-callgraph-collator/bap-callgraph-collator.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-callgraph-collator"]
+1 -1
packages/bap-callgraph-collator/bap-callgraph-collator.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-callgraph-collator"]
+1 -1
packages/bap-callsites/bap-callsites.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-callsites/bap-callsites.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-constant-tracker/bap-constant-tracker.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-constant-tracker"]
+1 -1
packages/bap-constant-tracker/bap-constant-tracker.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-constant-tracker"]
+1 -1
packages/bap-core-theory/bap-core-theory.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-core-theory"]
+1 -1
packages/bap-core-theory/bap-core-theory.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-core-theory"]
+1 -1
packages/bap-core/bap-core.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
depends: [
+1 -1
packages/bap-core/bap-core.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
depends: [
+1 -1
packages/bap-cxxfilt/bap-cxxfilt.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-cxxfilt/bap-cxxfilt.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-demangle/bap-demangle.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-demangle"]
+1 -1
packages/bap-demangle/bap-demangle.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-demangle"]
+1 -1
packages/bap-dependencies/bap-dependencies.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-dependencies"]
+1 -1
packages/bap-dependencies/bap-dependencies.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-dependencies"]
+1 -1
packages/bap-disassemble/bap-disassemble.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-disassemble"]
+1 -1
packages/bap-disassemble/bap-disassemble.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-disassemble"]
+1 -1
packages/bap-dump-symbols/bap-dump-symbols.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-dump-symbols"]
+1 -1
packages/bap-dump-symbols/bap-dump-symbols.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-dump-symbols"]
+1 -1
packages/bap-dwarf/bap-dwarf.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-dwarf"]
+1 -1
packages/bap-dwarf/bap-dwarf.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-dwarf"]
+1 -1
packages/bap-elementary/bap-elementary.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-elementary"]
+1 -1
packages/bap-elementary/bap-elementary.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-elementary"]
+1 -1
packages/bap-elf/bap-elf.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-elf-loader"]
+1 -1
packages/bap-elf/bap-elf.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-elf-loader"]
+1 -1
packages/bap-extra/bap-extra.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
depends: [
+1 -1
packages/bap-extra/bap-extra.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
depends: [
+1 -1
packages/bap-flatten/bap-flatten.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-flatten"]
+1 -1
packages/bap-flatten/bap-flatten.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-flatten"]
+1 -1
packages/bap-frontc/bap-frontc.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-frontc-parser"]
+1 -1
packages/bap-frontc/bap-frontc.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-frontc-parser"]
+1 -1
packages/bap-frontend/bap-frontend.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-frontend/bap-frontend.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-fsi-benchmark/bap-fsi-benchmark.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-fsi-benchmark"]
+1 -1
packages/bap-fsi-benchmark/bap-fsi-benchmark.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-fsi-benchmark"]
+1 -1
packages/bap-future/bap-future.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-future"]
+1 -1
packages/bap-future/bap-future.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-future"]
+1 -1
packages/bap-ghidra/bap-ghidra.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-ghidra/bap-ghidra.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-glibc-runtime/bap-glibc-runtime.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-glibc-runtime"]
+1 -1
packages/bap-glibc-runtime/bap-glibc-runtime.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-glibc-runtime"]
+1 -1
packages/bap-ida-plugin/bap-ida-plugin.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-emit-ida-script"]
+1 -1
packages/bap-ida-plugin/bap-ida-plugin.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-emit-ida-script"]
+1 -1
packages/bap-ida/bap-ida.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-ida/bap-ida.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-knowledge/bap-knowledge.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-knowledge"]
+1 -1
packages/bap-knowledge/bap-knowledge.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-knowledge"]
+1 -1
packages/bap-llvm/bap-llvm.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-llvm/bap-llvm.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-main/bap-main.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-main"]
+1 -1
packages/bap-main/bap-main.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-main"]
+1 -1
packages/bap-mc/bap-mc.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-mc/bap-mc.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-microx/bap-microx.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-microx"]
+1 -1
packages/bap-microx/bap-microx.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-microx"]
+1 -1
packages/bap-mips/bap-mips.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-mips"]
+1 -1
packages/bap-mips/bap-mips.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-mips"]
+1 -1
packages/bap-objdump/bap-objdump.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-objdump/bap-objdump.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-optimization/bap-optimization.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-optimization"]
+1 -1
packages/bap-optimization/bap-optimization.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-optimization"]
+1 -1
packages/bap-patterns/bap-patterns.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-patterns"]
+1 -1
packages/bap-patterns/bap-patterns.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-patterns"]
+1 -1
packages/bap-phoenix/bap-phoenix.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-phoenix/bap-phoenix.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-piqi/bap-piqi.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-piqi/bap-piqi.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-plugins/bap-plugins.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-plugins"]
+1 -1
packages/bap-plugins/bap-plugins.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-plugins"]
+1 -1
packages/bap-powerpc/bap-powerpc.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-powerpc"]
+1 -1
packages/bap-powerpc/bap-powerpc.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-powerpc"]
+1 -1
packages/bap-primus-dictionary/bap-primus-dictionary.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-dictionary"]
+1 -1
packages/bap-primus-dictionary/bap-primus-dictionary.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-dictionary"]
+1 -1
packages/bap-primus-exploring-scheduler/bap-primus-exploring-scheduler.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-exploring"]
+1 -1
packages/bap-primus-exploring-scheduler/bap-primus-exploring-scheduler.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-exploring"]
+1 -1
packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-greedy"]
+1 -1
packages/bap-primus-greedy-scheduler/bap-primus-greedy-scheduler.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-greedy"]
+1 -1
packages/bap-primus-limit/bap-primus-limit.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-limit"]
+1 -1
packages/bap-primus-limit/bap-primus-limit.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-limit"]
+1 -1
packages/bap-primus-lisp/bap-primus-lisp.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-lisp"]
+1 -1
packages/bap-primus-lisp/bap-primus-lisp.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-lisp"]
+1 -1
packages/bap-primus-loader/bap-primus-loader.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-loader"]
+1 -1
packages/bap-primus-loader/bap-primus-loader.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-loader"]
+1 -1
packages/bap-primus-mark-visited/bap-primus-mark-visited.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-mark-visited"]
+1 -1
packages/bap-primus-mark-visited/bap-primus-mark-visited.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-mark-visited"]
+1 -1
packages/bap-primus-powerpc/bap-primus-powerpc.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-powerpc"]
+1 -1
packages/bap-primus-powerpc/bap-primus-powerpc.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-powerpc"]
+1 -1
packages/bap-primus-print/bap-primus-print.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-print"]
+1 -1
packages/bap-primus-print/bap-primus-print.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-print"]
+1 -1
packages/bap-primus-promiscuous/bap-primus-promiscuous.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-promiscuous"]
+1 -1
packages/bap-primus-promiscuous/bap-primus-promiscuous.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-promiscuous"]
+1 -1
packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-primus-propagate-taint/bap-primus-propagate-taint.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-primus-random/bap-primus-random.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-random"]
+1 -1
packages/bap-primus-random/bap-primus-random.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-random"]
+1 -1
packages/bap-primus-region/bap-primus-region.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-region"]
+1 -1
packages/bap-primus-region/bap-primus-region.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-region"]
+1 -1
packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-round-robin"]
+1 -1
packages/bap-primus-round-robin-scheduler/bap-primus-round-robin-scheduler.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-round-robin"]
+1 -1
packages/bap-primus-support/bap-primus-support.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
depends: [
+1 -1
packages/bap-primus-support/bap-primus-support.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
depends: [
+1 -1
packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-symbolic-executor"]
+1 -1
packages/bap-primus-symbolic-executor/bap-primus-symbolic-executor.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-symbolic-executor"]
+1 -1
packages/bap-primus-systems/bap-primus-systems.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-systems"]
+1 -1
packages/bap-primus-systems/bap-primus-systems.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-systems"]
+1 -1
packages/bap-primus-taint/bap-primus-taint.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-taint" ]
+1 -1
packages/bap-primus-taint/bap-primus-taint.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-taint" ]
+1 -1
packages/bap-primus-test/bap-primus-test.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-test"]
+1 -1
packages/bap-primus-test/bap-primus-test.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-test"]
+1 -1
packages/bap-primus-track-visited/bap-primus-track-visited.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-track-visited"]
+1 -1
packages/bap-primus-track-visited/bap-primus-track-visited.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-track-visited"]
+1 -1
packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-wandering"]
+1 -1
packages/bap-primus-wandering-scheduler/bap-primus-wandering-scheduler.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-wandering"]
+1 -1
packages/bap-primus-x86/bap-primus-x86.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-x86"]
+1 -1
packages/bap-primus-x86/bap-primus-x86.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-x86"]
+1 -1
packages/bap-primus/bap-primus.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus"]
+1 -1
packages/bap-primus/bap-primus.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus"]
+1 -1
packages/bap-print/bap-print.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-print"]
+1 -1
packages/bap-print/bap-print.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-print"]
+1 -1
packages/bap-radare2/bap-radare2.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-radare2/bap-radare2.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-raw/bap-raw.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-raw"]
+1 -1
packages/bap-raw/bap-raw.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-raw"]
+1 -1
packages/bap-recipe-command/bap-recipe-command.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-recipe-command"]
+1 -1
packages/bap-recipe-command/bap-recipe-command.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-recipe-command"]
+1 -1
packages/bap-recipe/bap-recipe.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-recipe"]
+1 -1
packages/bap-recipe/bap-recipe.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-recipe"]
+1 -1
packages/bap-relation/bap-relation.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-relation"]
+1 -1
packages/bap-relation/bap-relation.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-relation"]
+1 -1
packages/bap-relocatable/bap-relocatable.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-relocatable"]
+1 -1
packages/bap-relocatable/bap-relocatable.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-relocatable"]
+1 -1
packages/bap-report/bap-report.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-report"]
+1 -1
packages/bap-report/bap-report.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-report"]
+1 -1
packages/bap-riscv/bap-riscv.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-riscv"]
+1 -1
packages/bap-riscv/bap-riscv.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-riscv"]
+1 -1
packages/bap-run/bap-run.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-run"]
+1 -1
packages/bap-run/bap-run.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-run"]
+1 -1
packages/bap-signatures/bap-signatures.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
install: [
["mkdir" "-p" "%{share}%/bap/signatures/"]
+1 -1
packages/bap-signatures/bap-signatures.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
install: [
["mkdir" "-p" "%{share}%/bap/signatures/"]
+1 -1
packages/bap-specification/bap-specification.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-specification/bap-specification.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-ssa/bap-ssa.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-ssa"]
+1 -1
packages/bap-ssa/bap-ssa.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-ssa"]
+1 -1
packages/bap-std/bap-std.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-std/bap-std.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-strings/bap-strings.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-strings-library"]
+1 -1
packages/bap-strings/bap-strings.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-strings-library"]
+1 -1
packages/bap-stub-resolver/bap-stub-resolver.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-stub-resolver"]
+1 -1
packages/bap-stub-resolver/bap-stub-resolver.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-stub-resolver"]
+1 -1
packages/bap-symbol-reader/bap-symbol-reader.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-symbol-reader/bap-symbol-reader.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-systemz/bap-systemz.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-systemz"]
+1 -1
packages/bap-systemz/bap-systemz.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-systemz"]
+1 -1
packages/bap-taint-propagator/bap-taint-propagator.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-propagate-taint"]
+1 -1
packages/bap-taint-propagator/bap-taint-propagator.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-propagate-taint"]
+1 -1
packages/bap-taint/bap-taint.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-taint/bap-taint.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%"
+1 -1
packages/bap-term-mapper/bap-term-mapper.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-term-mapper/bap-term-mapper.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-thumb/bap-thumb.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-thumb"]
+1 -1
packages/bap-thumb/bap-thumb.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-thumb"]
+1 -1
packages/bap-toplevel/bap-toplevel.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-toplevel/bap-toplevel.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-trace/bap-trace.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-trace/bap-trace.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-traces/bap-traces.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-traces/bap-traces.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-trivial-condition-form/bap-trivial-condition-form.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-trivial-condition-form"]
+1 -1
packages/bap-trivial-condition-form/bap-trivial-condition-form.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-trivial-condition-form"]
+1 -1
packages/bap-warn-unused/bap-warn-unused.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-warn-unused/bap-warn-unused.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/bap-x86/bap-x86.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-x86"]
+1 -1
packages/bap-x86/bap-x86.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-x86"]
+1 -1
packages/bap/bap.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
+1 -1
packages/bare/bare.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bare"]
+1 -1
packages/bare/bare.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bare"]
+1 -1
packages/batteries/batteries.3.5.0/opam
···
]
run-test: [make "test"]
install: [make "install"]
-
dev-repo: "git://github.com/ocaml-batteries-team/batteries-included.git"
+
dev-repo: "git+https://github.com/ocaml-batteries-team/batteries-included.git"
url {
src:
"https://github.com/ocaml-batteries-team/batteries-included/archive/refs/tags/v3.5.0.tar.gz"
+1 -1
packages/batteries/batteries.3.5.1/opam
···
]
run-test: [make "test"]
install: [make "install"]
-
dev-repo: "git://github.com/ocaml-batteries-team/batteries-included.git"
+
dev-repo: "git+https://github.com/ocaml-batteries-team/batteries-included.git"
url {
src: "https://github.com/ocaml-batteries-team/batteries-included/archive/refs/tags/v3.5.1.tar.gz"
checksum: [
+1 -1
packages/batteries/batteries.3.6.0/opam
···
]
run-test: [make "test"]
install: [make "install"]
-
dev-repo: "git://github.com/ocaml-batteries-team/batteries-included.git"
+
dev-repo: "git+https://github.com/ocaml-batteries-team/batteries-included.git"
url {
src: "https://github.com/ocaml-batteries-team/batteries-included/archive/refs/tags/v3.6.0.tar.gz"
checksum: [
+1 -1
packages/bitvec-binprot/bitvec-binprot.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bitvec-binprot"]
+1 -1
packages/bitvec-binprot/bitvec-binprot.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bitvec-binprot"]
+1 -1
packages/bitvec-order/bitvec-order.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bitvec-order"]
+1 -1
packages/bitvec-order/bitvec-order.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bitvec-order"]
+1 -1
packages/bitvec-sexp/bitvec-sexp.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bitvec-sexp"]
+1 -1
packages/bitvec-sexp/bitvec-sexp.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bitvec-sexp"]
+1 -1
packages/bitvec/bitvec.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bitvec"]
+1 -1
packages/bitvec/bitvec.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-bitvec"]
+1 -1
packages/camlpdf/camlpdf.2.5/opam
···
authors: ["John Whitington"]
homepage: "http://github.com/johnwhitington/camlpdf"
bug-reports: "http://github.com/johnwhitington/camlpdf/issues"
-
dev-repo: "git://github.com/johnwhitington/camlpdf"
+
dev-repo: "git+https://github.com/johnwhitington/camlpdf"
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
build: [[make]]
install: [[make "install"]]
+1 -1
packages/camlpdf/camlpdf.2.6/opam
···
authors: ["John Whitington"]
homepage: "http://github.com/johnwhitington/camlpdf"
bug-reports: "http://github.com/johnwhitington/camlpdf/issues"
-
dev-repo: "git://github.com/johnwhitington/camlpdf"
+
dev-repo: "git+https://github.com/johnwhitington/camlpdf"
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
build: [[make]]
install: [[make "install"]]
+1 -1
packages/camlpdf/camlpdf.2.7/opam
···
authors: ["John Whitington"]
homepage: "http://github.com/johnwhitington/camlpdf"
bug-reports: "http://github.com/johnwhitington/camlpdf/issues"
-
dev-repo: "git://github.com/johnwhitington/camlpdf"
+
dev-repo: "git+https://github.com/johnwhitington/camlpdf"
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
build: [[make]]
install: [[make "install"]]
+1 -1
packages/fuzzy_compare/fuzzy_compare.1.0.0/opam
···
"""
license: "MIT"
homepage: "https://github.com/SGrondin/fuzzy_compare"
-
dev-repo: "git://github.com/SGrondin/fuzzy_compare"
+
dev-repo: "git+https://github.com/SGrondin/fuzzy_compare"
doc: "https://github.com/SGrondin/fuzzy_compare"
bug-reports: "https://github.com/SGrondin/fuzzy_compare/issues"
depends: [
+1 -1
packages/fuzzy_compare/fuzzy_compare.2.0.0/opam
···
"""
license: "MIT"
homepage: "https://github.com/SGrondin/fuzzy_compare"
-
dev-repo: "git://github.com/SGrondin/fuzzy_compare"
+
dev-repo: "git+https://github.com/SGrondin/fuzzy_compare"
doc: "https://github.com/SGrondin/fuzzy_compare"
bug-reports: "https://github.com/SGrondin/fuzzy_compare/issues"
depends: [
+1 -1
packages/fuzzy_compare/fuzzy_compare.2.0.1/opam
···
"""
license: "MIT"
homepage: "https://github.com/SGrondin/fuzzy_compare"
-
dev-repo: "git://github.com/SGrondin/fuzzy_compare"
+
dev-repo: "git+https://github.com/SGrondin/fuzzy_compare"
doc: "https://github.com/SGrondin/fuzzy_compare"
bug-reports: "https://github.com/SGrondin/fuzzy_compare/issues"
depends: [
+1 -1
packages/gospel/gospel.0.1.0/opam
···
]
license: "MIT"
homepage: "https://github.com/ocaml-gospel/gospel"
-
dev-repo: "git://github.com/ocaml-gospel/gospel"
+
dev-repo: "git+https://github.com/ocaml-gospel/gospel"
bug-reports: "https://github.com/ocaml-gospel/gospel/issues"
build: [
+1 -1
packages/gospel/gospel.0.2.0/opam
···
"@doc" {with-doc}
]
]
-
dev-repo: "git://github.com/ocaml-gospel/gospel"
+
dev-repo: "git+https://github.com/ocaml-gospel/gospel"
url {
src:
+1 -1
packages/graphlib/graphlib.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/graphlib/graphlib.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/lz4/lz4.1.2.0/opam
···
homepage: "https://github.com/whitequark/ocaml-lz4"
doc: "http://whitequark.github.io/ocaml-lz4"
bug-reports: "https://github.com/whitequark/ocaml-lz4/issues"
-
dev-repo: "git://github.com/whitequark/ocaml-lz4.git"
+
dev-repo: "git+https://github.com/whitequark/ocaml-lz4.git"
tags: [ "lz4" "compression" "decompression" ]
build: [
["dune" "build" "@install" "-j" jobs "-p" name]
+1 -1
packages/monads/monads.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-monads"]
+1 -1
packages/monads/monads.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-monads"]
+1 -1
packages/mperf/mperf.0.5.0/opam
···
maintainer: [ "Romain Calascibetta <romain.calascibetta@gmail.com>" ]
authors: [ "Vincent Bernardoff <vincent.bernardoff@ocamlpro.com>" "Pierre Chambart <pierre.chambart@ocamlpro.com>" ]
homepage: "http://github.com/dinosaure/bechamel"
-
dev-repo: "git://github.com/dinosaure/bechamel"
+
dev-repo: "git+https://github.com/dinosaure/bechamel"
bug-reports: "http://github.com/dinosaure/bechamel/issues"
license: "GPL-2.0-only"
synopsis: "Bindings to Linux perf's metrics"
+1 -1
packages/ocaml-sat-solvers/ocaml-sat-solvers.0.7.1/opam
···
"Maurice Herwig" ]
license: "BSD-3-clause"
homepage: "https://github.com/tcsprojects/ocaml-sat-solvers"
-
dev-repo: "git://github.com/tcsprojects/ocaml-sat-solvers.git"
+
dev-repo: "git+https://github.com/tcsprojects/ocaml-sat-solvers.git"
bug-reports: "https://github.com/tcsprojects/ocaml-sat-solvers/issues"
build: [
["ocaml" "setup.ml" "-configure" "--prefix" prefix]
+1 -1
packages/ocaml-sat-solvers/ocaml-sat-solvers.0.7/opam
···
"Martin Lange" ]
license: "BSD-3-clause"
homepage: "https://github.com/tcsprojects/ocaml-sat-solvers"
-
dev-repo: "git://github.com/tcsprojects/ocaml-sat-solvers.git"
+
dev-repo: "git+https://github.com/tcsprojects/ocaml-sat-solvers.git"
bug-reports: "https://github.com/tcsprojects/ocaml-sat-solvers/issues"
build: [
["ocaml" "setup.ml" "-configure" "--prefix" prefix]
+1 -1
packages/ogre/ogre.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-ogre"]
+1 -1
packages/ogre/ogre.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-ogre"]
+1 -1
packages/opam-grep/opam-grep.0.3.0/opam
···
available: os != "win32"
flags: plugin
build: ["dune" "build" "-p" name "-j" jobs]
-
dev-repo: "git://github.com/kit-ty-kate/opam-grep.git"
+
dev-repo: "git+https://github.com/kit-ty-kate/opam-grep.git"
url {
src:
"https://github.com/kit-ty-kate/opam-grep/releases/download/v0.3.0/opam-grep-0.3.0.tar.gz"
+1 -1
packages/pilat/pilat.1.6/opam
···
opam-version: "2.0"
maintainer: "Steven De Oliveira <de.oliveira.steven@gmail.com>"
authors: "Steven De Oliveira <de.oliveira.steven@gmail.com>"
-
dev-repo: "git://github.com/Stevendeo/Pilat.git"
+
dev-repo: "git+https://github.com/Stevendeo/Pilat.git"
homepage: "https://github.com/Stevendeo/Pilat/"
synopsis: "Polynomial invariant generator"
license: "LGPL-2.1-only"
+1 -1
packages/plato/plato.1.1.2/opam
···
maintainer: "Marc Chevalier <github@marc.chevalier.com>"
authors: "Marc Chevalier <github@marc.chevalier.com>"
homepage: "https://github.com/marc-chevalier/plato"
-
dev-repo: "git://github.com/marc-chevalier/plato"
+
dev-repo: "git+https://github.com/marc-chevalier/plato"
bug-reports: "https://github.com/marc-chevalier/plato/issues"
depends: [
"ocaml" {>= "4.06.0"}
+1 -1
packages/plato/plato.1.1.3/opam
···
maintainer: "Marc Chevalier <github@marc-chevalier.com>"
authors: "Marc Chevalier <github@marc-chevalier.com>"
homepage: "https://github.com/marc-chevalier/plato"
-
dev-repo: "git://github.com/marc-chevalier/plato"
+
dev-repo: "git+https://github.com/marc-chevalier/plato"
bug-reports: "https://github.com/marc-chevalier/plato/issues"
depends: [
"ocaml" {>= "4.06.0"}
+1 -1
packages/polly/polly.0.4.1/opam
···
"conf-linux-libc-dev"
]
build: ["dune" "build" "-p" name "-j" jobs "@install"]
-
dev-repo: "git://github.com/lindig/polly.git"
+
dev-repo: "git+https://github.com/lindig/polly.git"
url {
src:
"https://github.com/lindig/polly/releases/download/0.4.1/polly-0.4.1.tbz"
+1 -1
packages/ppx_deriving_rpc/ppx_deriving_rpc.8.1.1/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/ppx_deriving_rpc/ppx_deriving_rpc.8.1.2/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/ppx_deriving_rpc/ppx_deriving_rpc.9.0.0/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/ppx_units/ppx_units.1.0.0/opam
···
"""
license: "MPL-2.0"
homepage: "https://github.com/SGrondin/ppx_units"
-
dev-repo: "git://github.com/SGrondin/ppx_units"
+
dev-repo: "git+https://github.com/SGrondin/ppx_units"
doc: "https://github.com/SGrondin/ppx_units"
bug-reports: "https://github.com/SGrondin/ppx_units/issues"
depends: [
+1 -1
packages/reason/reason.3.8.0/opam
···
homepage: "https://github.com/reasonml/reason"
doc: "https://reasonml.github.io/"
bug-reports: "https://github.com/reasonml/reason/issues"
-
dev-repo: "git://github.com/reasonml/reason.git"
+
dev-repo: "git+https://github.com/reasonml/reason.git"
tags: [ "syntax" ]
build: [
["dune" "build" "-p" name "-j" jobs]
+1 -1
packages/regular/regular.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/regular/regular.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure"
+1 -1
packages/rpc/rpc.8.1.1/opam
···
["dune" "runtest" "-p" name "-j" jobs] {with-test}
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpc/rpc.8.1.2/opam
···
["dune" "runtest" "-p" name "-j" jobs] {with-test}
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpc/rpc.9.0.0/opam
···
["dune" "runtest" "-p" name "-j" jobs] {with-test}
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-async/rpclib-async.8.1.1/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-async/rpclib-async.8.1.2/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-async/rpclib-async.9.0.0/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-html/rpclib-html.8.1.1/opam
···
"cow" {>= "2.0.0"}
]
build: ["dune" "build" "-p" name "-j" jobs]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-html/rpclib-html.8.1.2/opam
···
"cow" {>= "2.0.0"}
]
build: ["dune" "build" "-p" name "-j" jobs]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-html/rpclib-html.9.0.0/opam
···
"cow" {>= "2.0.0"}
]
build: ["dune" "build" "-p" name "-j" jobs]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-js/rpclib-js.8.1.1/opam
···
"lwt"
]
build: ["dune" "build" "-p" name "-j" jobs]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-js/rpclib-js.8.1.2/opam
···
"lwt"
]
build: ["dune" "build" "-p" name "-j" jobs]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-js/rpclib-js.9.0.0/opam
···
"lwt"
]
build: ["dune" "build" "-p" name "-j" jobs]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-lwt/rpclib-lwt.8.1.1/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-lwt/rpclib-lwt.8.1.2/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib-lwt/rpclib-lwt.9.0.0/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib/rpclib.8.1.1/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib/rpclib.8.1.2/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rpclib/rpclib.9.0.0/opam
···
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
]
-
dev-repo: "git://github.com/mirage/ocaml-rpc"
+
dev-repo: "git+https://github.com/mirage/ocaml-rpc"
description: """
`ocaml-rpc` is a library that provides remote procedure calls (RPC)
using XML or JSON as transport encodings, and multiple generators
+1 -1
packages/rtop/rtop.3.8.0/opam
···
homepage: "https://github.com/reasonml/reason"
doc: "https://reasonml.github.io/"
bug-reports: "https://github.com/reasonml/reason/issues"
-
dev-repo: "git://github.com/reasonml/reason.git"
+
dev-repo: "git+https://github.com/reasonml/reason.git"
tags: [ "syntax" ]
build: [
["dune" "build" "-p" name "-j" jobs]
+1 -1
packages/tablecloth-base/tablecloth-base.0.0.9/opam
···
license: "MIT"
homepage: "https://github.com/darklang/tablecloth-ocaml-base"
bug-reports: "https://github.com/darklang/tablecloth-ocaml-base/issues"
-
dev-repo: "git://github.com/darklang/tablecloth-ocaml-base"
+
dev-repo: "git+https://github.com/darklang/tablecloth-ocaml-base"
depends: [ "ocaml" {>= "4.08" < "4.15" } "dune" {>= "2.4" } "base" { >= "v0.12.0" & < "v0.15.0" } ]
build: ["dune" "build" "-p" name "-j" jobs]
conflicts: [ "tablecloth-native" {!= "transition"} ]
+1 -1
packages/tablecloth-melange/tablecloth-melange.0.0.9/opam
···
license: "MIT"
homepage: "https://github.com/tableclothdotdev/tablecloth-melange"
bug-reports: "https://github.com/tableclothdotdev/tablecloth-melange/issues"
-
dev-repo: "git://github.com/tableclothdotdev/tablecloth-melange"
+
dev-repo: "git+https://github.com/tableclothdotdev/tablecloth-melange"
depends: [
"ocaml" {>= "5.1"}
"dune" {>= "3.8"}
+1 -1
packages/tablecloth-native/tablecloth-native.0.0.8/opam
···
license: "MIT"
homepage: "https://github.com/darklang/tablecloth"
bug-reports: "https://github.com/darklang/tablecloth/issues"
-
dev-repo: "git://github.com/darklang/tablecloth"
+
dev-repo: "git+https://github.com/darklang/tablecloth"
depends: [ "ocaml" {>= "4.08" < "4.13" } "dune" {>= "2.4"} "base" { >= "v0.12.0" & < "v0.15.0" } ]
build: ["dune" "build" "-p" name "-j" jobs]
url {
+1 -1
packages/tablecloth-native/tablecloth-native.transition/opam
···
license: "MIT"
homepage: "https://github.com/darklang/tablecloth-ocaml-base"
bug-reports: "https://github.com/darklang/tablecloth-ocaml-base/issues"
-
dev-repo: "git://github.com/darklang/tablecloth-ocaml-base"
+
dev-repo: "git+https://github.com/darklang/tablecloth-ocaml-base"
depends: [ "ocaml" "tablecloth-base" ]
post-messages: [
"tablecloth-native has been renamed and the tablecloth-native package is now a transition package. Use the tablecloth-base package instead."
+1 -1
packages/tdigest/tdigest.1.0.0/opam
···
"""
license: "MIT"
homepage: "https://github.com/SGrondin/tdigest"
-
dev-repo: "git://github.com/SGrondin/tdigest"
+
dev-repo: "git+https://github.com/SGrondin/tdigest"
doc: "https://github.com/SGrondin/tdigest"
bug-reports: "https://github.com/SGrondin/tdigest/issues"
depends: [
+1 -1
packages/tdigest/tdigest.2.0.0/opam
···
"""
license: "MIT"
homepage: "https://github.com/SGrondin/tdigest"
-
dev-repo: "git://github.com/SGrondin/tdigest"
+
dev-repo: "git+https://github.com/SGrondin/tdigest"
doc: "https://github.com/SGrondin/tdigest"
bug-reports: "https://github.com/SGrondin/tdigest/issues"
depends: [
+1 -1
packages/tdigest/tdigest.2.1.0/opam
···
"""
license: "MIT"
homepage: "https://github.com/SGrondin/tdigest"
-
dev-repo: "git://github.com/SGrondin/tdigest"
+
dev-repo: "git+https://github.com/SGrondin/tdigest"
doc: "https://github.com/SGrondin/tdigest"
bug-reports: "https://github.com/SGrondin/tdigest/issues"
depends: [
+1 -1
packages/tdigest/tdigest.2.1.1/opam
···
"""
license: "MIT"
homepage: "https://github.com/SGrondin/tdigest"
-
dev-repo: "git://github.com/SGrondin/tdigest"
+
dev-repo: "git+https://github.com/SGrondin/tdigest"
doc: "https://github.com/SGrondin/tdigest"
bug-reports: "https://github.com/SGrondin/tdigest/issues"
depends: [
+1 -1
packages/tdigest/tdigest.2.1.2/opam
···
"""
license: "MIT"
homepage: "https://github.com/SGrondin/tdigest"
-
dev-repo: "git://github.com/SGrondin/tdigest"
+
dev-repo: "git+https://github.com/SGrondin/tdigest"
doc: "https://github.com/SGrondin/tdigest"
bug-reports: "https://github.com/SGrondin/tdigest/issues"
depends: [
+1 -1
packages/tdigest/tdigest.2.1.3/opam
···
"""
license: "MIT"
homepage: "https://github.com/SGrondin/tdigest"
-
dev-repo: "git://github.com/SGrondin/tdigest"
+
dev-repo: "git+https://github.com/SGrondin/tdigest"
doc: "https://github.com/SGrondin/tdigest"
bug-reports: "https://github.com/SGrondin/tdigest/issues"
depends: [
+1 -1
packages/tdigest/tdigest.2.2.0/opam
···
"""
license: "MIT"
homepage: "https://github.com/SGrondin/tdigest"
-
dev-repo: "git://github.com/SGrondin/tdigest"
+
dev-repo: "git+https://github.com/SGrondin/tdigest"
doc: "https://github.com/SGrondin/tdigest"
bug-reports: "https://github.com/SGrondin/tdigest/issues"
depends: [
+1 -1
packages/text-tags/text-tags.2.4.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-text-tags"]
+1 -1
packages/text-tags/text-tags.2.5.0/opam
···
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
-
dev-repo: "git://github.com/BinaryAnalysisPlatform/bap/"
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-text-tags"]
+1 -1
packages/unison-gui/unison-gui.2.53.4/opam
···
license: "GPL-3.0-or-later"
homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
bug-reports: "https://github.com/bcpierce00/unison/issues"
-
dev-repo: "git://github.com/bcpierce00/unison.git"
+
dev-repo: "git+https://github.com/bcpierce00/unison.git"
depends: [
"unison" {= version}
"lablgtk3"
+1 -1
packages/unison/unison.2.51.5/opam
···
"lablgtk" {>= "2.18.6"}
]
build: ["dune" "build" "-p" name "-j" jobs]
-
dev-repo: "git://github.com/bcpierce00/unison.git"
+
dev-repo: "git+https://github.com/bcpierce00/unison.git"
url {
src:
"https://github.com/bcpierce00/unison/archive/refs/tags/v2.51.5.tar.gz"
+1 -1
packages/unison/unison.2.52.0/opam
···
"lablgtk" {>= "2.18.6"}
]
build: ["dune" "build" "-p" name "-j" jobs]
-
dev-repo: "git://github.com/bcpierce00/unison.git"
+
dev-repo: "git+https://github.com/bcpierce00/unison.git"
url {
src:
"https://github.com/bcpierce00/unison/archive/refs/tags/v2.52.0.tar.gz"
+1 -1
packages/unison/unison.2.53.0/opam
···
"lablgtk3" {>= "3.1.0"}
]
build: ["dune" "build" "-p" name "-j" jobs]
-
dev-repo: "git://github.com/bcpierce00/unison.git"
+
dev-repo: "git+https://github.com/bcpierce00/unison.git"
url {
src:
"https://github.com/bcpierce00/unison/archive/refs/tags/v2.53.0.tar.gz"
+1 -1
packages/unison/unison.2.53.3/opam
···
"lablgtk3" {>= "3.1.0"}
]
build: ["dune" "build" "-p" name "-j" jobs]
-
dev-repo: "git://github.com/bcpierce00/unison.git"
+
dev-repo: "git+https://github.com/bcpierce00/unison.git"
url {
src:
"https://github.com/bcpierce00/unison/archive/refs/tags/v2.53.3.tar.gz"
+1 -1
packages/unison/unison.2.53.4/opam
···
license: "GPL-3.0-or-later"
homepage: "https://www.cis.upenn.edu/~bcpierce/unison/"
bug-reports: "https://github.com/bcpierce00/unison/issues"
-
dev-repo: "git://github.com/bcpierce00/unison.git"
+
dev-repo: "git+https://github.com/bcpierce00/unison.git"
build: [make "NATIVE=%{ocaml:native}%" "-j" jobs]
install: [make "NATIVE=%{ocaml:native}%" "PREFIX=%{prefix}%" "install"]
depends: [
+1 -1
packages/zstd/zstd.0.3/opam
···
authors: [ "ygrek" ]
tags: [ "org:ygrek" "clib:zstd" ]
doc: [ "https://ygrek.org/p/ocaml-zstd/api/index.html" ]
-
dev-repo: "git://github.com/ygrek/ocaml-zstd.git"
+
dev-repo: "git+https://github.com/ygrek/ocaml-zstd.git"
bug-reports: "https://github.com/ygrek/ocaml-zstd/issues"
build: [
["dune" "subst"] {dev}