Profiles › full › Snapshots › 4a83f3602bf5 › diff 1b3aa95bffec

full — diff

From 4a83f3602bf5 to 1b3aa95bffec

Package changes

PackageVersionStatusChange
catala0.8.0success → failurestatus changed
cvc51.2.0success → failurestatus changed
cvc51.3.0success → failurestatus changed
fstar2025.02.17success → failurestatus changed
fstar2025.03.25success → failurestatus changed
fstar2025.06.20success → failurestatus changed
fstar2025.08.07success → failurestatus changed
fstar2025.09.04success → failurestatus changed
h11.1.1successadded
h1-lwt-unix1.1.1successadded
jsont0.4.0successadded
libdash0.5.1successadded
miou0.10.0successadded
ortools_solvers9.15.0-1success → failurestatus changed
ortools_solvers9.15.0-2success → failurestatus changed
river0.6successadded
tdmrep1.0successadded
typegist0.0.0successadded
wire1.3.0successadded

Repository commits

opam-repository da8b7e6fa749..58d1b506b7ae

CommitDateAuthorSubject
58d1b506b72026-09-02Jan MidtgaardMerge pull request #30616 from avsm/opam-publish-tdmrep.1.0
5f902126e92026-09-02Anil MadhavapeddyMerge pull request #30551 from Kakadu/efl-constraint
97a77b6c592026-09-02Anil MadhavapeddyMerge pull request #30611 from cuihtlauac/opam-publish-river.0.6
e692e69c932026-09-02Anil MadhavapeddyApply suggestion from @avsm
a910f309ad2026-09-02Jan MidtgaardMerge pull request #28856 from shym/win-fail
079c01f5712026-09-02Anil MadhavapeddyApply suggestion from @avsm
11d875b18d2026-09-02Anil MadhavapeddyMerge pull request #30610 from mgree/release-libdash-v0.5.1
52ae5d93662026-09-02Anil MadhavapeddyMerge pull request #30609 from samoht/release-wire-1.3.0
cdf8c59b0c2026-09-02Anil MadhavapeddyMerge pull request #30612 from dinosaure/release-h1-v1.1.1
bd3a33cc5b2026-09-02Anil MadhavapeddyMerge pull request #30613 from dinosaure/release-miou-v0.10.0
114d88fbfc2026-09-02Anil MadhavapeddyApply suggestion from @avsm
10764d240a2026-09-02Anil MadhavapeddyPackage tdmrep.1.0
98bd8ab8692026-09-02Calascibetta RomainMerge pull request #30614 from dbuenzli/b0-publish-jsont.0.4.0-etc-4a19712ae070c8d9
a42b9bfd152026-09-02Daniel BünzliAdd: jsont.0.4.0, typegist.0.0.0
ac18d94ab12026-09-02Calascibetta Romain[new release] miou (0.10.0)
cb1b13f5952026-09-02Calascibetta Romain[new release] h1 (2 packages) (1.1.1)
65edc38f442026-09-02Thomas Gazagnaire[new release] wire (1.3.0)
f4af9388ba2026-09-02Cuihtlauac ALVARADOPackage river.0.6
98d1f34d0f2026-09-01Michael Greenberg[new release] libdash (0.5.1)
d7bc76ae5c2026-08-31Samuel HymCI Windows: Consider regression only in a strict sense
e77eccdff72026-08-27Samuel HymTeach `x-ci-accept-failures` to Windows CI tests
fc75930cb42026-08-28Marcello SeriUpdate packages/efl/efl.1.24.0/opam
3583dcfd572026-08-24KakaduAdd constraints for efl