ProfilesfullSnapshotsbc78e16a10c5 › diff f01313feedc4

full — diff

From bc78e16a10c5 to f01313feedc4

Package changes

PackageVersionStatusChange
alcotest-async1.5.0successcascadestatus changed
async_durablev0.14.0successcascadestatus changed
async_extrav0.14.0successcascadestatus changed
async_extrav0.15.0successcascadestatus changed
async_findv0.14.0successcascadestatus changed
async_graphics0.7.0successcascadestatus changed
async_inotifyv0.14.0successcascadestatus changed
async_interactivev0.14.0successcascadestatus changed
async_jsv0.15.0successcascadestatus changed
async_sendfilev0.14.0successcascadestatus changed
async_shellv0.14.0successcascadestatus changed
async_websocketv0.14.0successcascadestatus changed
awso0.9.0successfailurestatus changed
awso0.9.1successfailurestatus changed
awso-async0.9.0successcascadestatus changed
awso-async0.9.1successcascadestatus changed
awso-cli0.9.0successcascadestatus changed
awso-cli0.9.1successcascadestatus changed
awso-eio0.9.1successcascadestatus changed
awso-lwt0.9.0successcascadestatus changed
awso-lwt0.9.1successcascadestatus changed
awso-sync0.9.0successcascadestatus changed
awso-sync0.9.1successcascadestatus changed
bap-abi2.5.0successcascadestatus changed
bap-analyze2.5.0successcascadestatus changed
bap-api2.5.0successcascadestatus changed
bap-arm2.5.0successcascadestatus changed
bap-beagle2.5.0successcascadestatus changed
bap-beagle-strings2.5.0successcascadestatus changed
bap-bil2.5.0successcascadestatus changed
bap-byteweight2.5.0successcascadestatus changed
bap-byteweight-frontend2.4.0successcascadestatus changed
bap-byteweight-frontend2.5.0successcascadestatus changed
bap-c2.5.0successcascadestatus changed
bap-cache2.5.0successcascadestatus changed
bap-callgraph-collator2.5.0successcascadestatus changed
bap-callsites2.5.0successcascadestatus changed
bap-constant-tracker2.5.0successcascadestatus changed
bap-core-theory2.5.0successcascadestatus changed
bap-cxxfilt2.5.0successcascadestatus changed
bap-demangle2.5.0successcascadestatus changed
bap-dependencies2.5.0successcascadestatus changed
bap-disassemble2.5.0successcascadestatus changed
bap-dump-symbols2.5.0successcascadestatus changed
bap-dwarf2.5.0successcascadestatus changed
bap-elementary2.5.0successcascadestatus changed
bap-elf2.5.0successcascadestatus changed
bap-flatten2.5.0successcascadestatus changed
bap-frontc2.5.0successcascadestatus changed
bap-frontend2.5.0successcascadestatus changed
bap-future2.5.0successcascadestatus changed
bap-glibc-runtime2.5.0successcascadestatus changed
bap-knowledge2.5.0successcascadestatus changed
bap-main2.5.0successcascadestatus changed
bap-mc2.5.0successcascadestatus changed
bap-microx2.5.0successcascadestatus changed
bap-mips2.5.0successcascadestatus changed
bap-objdump2.5.0successcascadestatus changed
bap-optimization2.5.0successcascadestatus changed
bap-patterns2.5.0successcascadestatus changed
bap-phoenix2.4.0successcascadestatus changed
bap-phoenix2.5.0successcascadestatus changed
bap-piqi2.4.0successcascadestatus changed
bap-piqi2.5.0successcascadestatus changed
bap-plugins2.5.0successcascadestatus changed
bap-powerpc2.5.0successcascadestatus changed
bap-primus2.5.0successcascadestatus changed
bap-primus-dictionary2.5.0successcascadestatus changed
bap-primus-exploring-scheduler2.5.0successcascadestatus changed
bap-primus-greedy-scheduler2.5.0successcascadestatus changed
bap-primus-limit2.5.0successcascadestatus changed
bap-primus-lisp2.5.0successcascadestatus changed
bap-primus-loader2.5.0successcascadestatus changed
bap-primus-mark-visited2.5.0successcascadestatus changed
bap-primus-powerpc2.5.0successcascadestatus changed
bap-primus-print2.5.0successcascadestatus changed
bap-primus-promiscuous2.5.0successcascadestatus changed
bap-primus-propagate-taint2.5.0successcascadestatus changed
bap-primus-random2.5.0successcascadestatus changed
bap-primus-region2.5.0successcascadestatus changed
bap-primus-round-robin-scheduler2.5.0successcascadestatus changed
bap-primus-support2.5.0successcascadestatus changed
bap-primus-systems2.5.0successcascadestatus changed
bap-primus-taint2.5.0successcascadestatus changed
bap-primus-test2.5.0successcascadestatus changed
bap-primus-track-visited2.5.0successcascadestatus changed
bap-primus-wandering-scheduler2.5.0successcascadestatus changed
bap-print2.5.0successcascadestatus changed
bap-raw2.5.0successcascadestatus changed
bap-recipe-command2.5.0successcascadestatus changed
bap-report2.5.0successcascadestatus changed
bap-riscv2.5.0successcascadestatus changed
bap-run2.5.0successcascadestatus changed
bap-specification2.5.0successcascadestatus changed
bap-ssa2.5.0successcascadestatus changed
bap-std2.5.0successcascadestatus changed
bap-stub-resolver2.5.0successcascadestatus changed
bap-symbol-reader2.5.0successcascadestatus changed
bap-systemz2.5.0successcascadestatus changed
bap-taint2.5.0successcascadestatus changed
bap-taint-propagator2.5.0successcascadestatus changed
bap-term-mapper2.5.0successcascadestatus changed
bap-thumb2.5.0successcascadestatus changed
bap-toplevel2.5.0successcascadestatus changed
bap-trace2.5.0successcascadestatus changed
bap-traces2.5.0successcascadestatus changed
bap-trivial-condition-form2.5.0successcascadestatus changed
bap-warn-unused2.5.0successcascadestatus changed
binaryen0.40.0successadded
bio_io0.1.1successfailurestatus changed
caqti-async1.2.2successcascadestatus changed
command_rpcv0.14.0successcascadestatus changed
conf-jack2successadded
corev0.17.0successfailurestatus changed
delimited_parsingv0.14.0successcascadestatus changed
ecamlv0.14.0successcascadestatus changed
email_messagev0.14.0successcascadestatus changed
expect_test_helpers_asyncv0.14.0successcascadestatus changed
faraday-async0.7.2successcascadestatus changed
faraday-async0.7.3successcascadestatus changed
faraday-async0.8.1successcascadestatus changed
feather_async0.1.0successcascadestatus changed
frama-c-metacsl0.11successadded
fuzzy_compare1.0.0successfailurestatus changed
fuzzy_matchv0.15.0successcascadestatus changed
graphql-async0.13.0successcascadestatus changed
graphql-async0.9.0successcascadestatus changed
hardcaml_wavetermv0.14.0successcascadestatus changed
hegel0.18.2successadded
hex_encodev0.15.0successfailurestatus changed
incr_domv0.15.0successcascadestatus changed
incr_dom_interactivev0.15.0successcascadestatus changed
incr_dom_partial_renderv0.15.0successcascadestatus changed
incr_dom_sexp_formv0.15.0successcascadestatus changed
incr_mapv0.15.0successcascadestatus changed
incr_selectv0.15.0successcascadestatus changed
incrementalv0.15.0successcascadestatus changed
krbv0.15.0successcascadestatus changed
monads2.5.0successfailurestatus changed
mssql2.0.3successcascadestatus changed
mssql2.1.0successcascadestatus changed
mssql2.2.0successcascadestatus changed
netsnmpv0.14.0successcascadestatus changed
notty_asyncv0.14.0successcascadestatus changed
ogre2.5.0successcascadestatus changed
patience_diffv0.15.0successcascadestatus changed
postgres_asyncv0.14.0successcascadestatus changed
ppx_hegel_compat0.18.2successadded
ppx_hegel_generator0.18.2successadded
ppx_hegel_test0.18.2successadded
ppx_logv0.14.0successcascadestatus changed
ppx_typed_fieldsv0.15.0successcascadestatus changed
resource_cachev0.14.0successcascadestatus changed
rpc_parallelv0.14.0successcascadestatus changed
sequencer_tablev0.14.0successcascadestatus changed
sexp_macrov0.14.0successcascadestatus changed
sexp_string_quickcheckv0.15.0successfailurestatus changed
shuttle0.1.0successcascadestatus changed
shuttle0.3.1successcascadestatus changed
shuttle_http0.3.1successcascadestatus changed
splay_treev0.15.0successcascadestatus changed
tdigest2.1.0successfailurestatus changed
tls-async0.15.2successcascadestatus changed
vcamlv0.14.0successcascadestatus changed
virtual_domv0.15.0successcascadestatus changed

Repository commits

opam-repository b703726c7ee9..5d711cd97e03

CommitDateAuthorSubject
5d711cd97e2026-09-09Marcello SeriMerge pull request #30691 from ospencer/opam-publish-binaryen.0.40.0
b29afd319c2026-09-09Marcello SeriMerge pull request #30679 from Frama-C/publish-frama-c-meta-0.11
e6b3f16b1e2026-09-09Marcello SeriMerge pull request #30687 from jmid/v-bounds-ocaml-ai-sdk
fa871a80da2026-09-09Marcello SeriMerge pull request #30688 from jmid/v-bounds-oxbow
e6270e43842026-09-09Marcello SeriMerge pull request #30697 from echoumcp1/opam-publish-hegel.0.18.2
61303a27bb2026-09-09Marcello SeriMerge pull request #30693 from toots/jack
13f39f28c12026-09-09Ethan Chou4 packages from hegeldev/hegel-ocaml at 0.18.2
4bba77a6a82026-09-09Romain BeauxisUpdate conf-jack dependencies.
a8289fa73d2026-09-08Oscar SpencerPackage binaryen.0.40.0
b278dfef4d2026-09-08Jan MidtgaardFix ppx_yojson_conv{,_lib} v-bounds in oxbow 0.1.0 and 0.1.1
356e56313e2026-09-08Jan MidtgaardFix re2 v-bound in ocaml-ai-sdk 0.6, 0.6.1, 0.6.2
91a8a3f61c2026-09-08Frama-CI Botnew frama-c-metacsl package