Profiles › full › Snapshots › eb7e36eecfff › diff d0c395bee6b1

full — diff

From eb7e36eecfff to d0c395bee6b1

Package changes

PackageVersionStatusChange
camelot2.1.0successadded
conf-qrencode0.2successadded
coq9.2.0successadded
mariadb2.1.0successadded
mkernel0.0.4successadded
patricia-tree0.15.0successadded
qrencode0.2-1successadded

Repository commits

opam-repository 7db09b2a326a..7b13a03359da

CommitDateAuthorSubject
7b13a033592026-08-26Jan MidtgaardMerge pull request #30488 from Kakadu/qrencode0.2-constraint
5e2c406a732026-08-26Jan MidtgaardMerge pull request #30569 from dlesbre/release-patricia-tree-v0.15.0
9d8f4cc8cf2026-08-26Jan MidtgaardMerge pull request #30566 from mattam82/coq-9.2.0-metapackage
066d6ff6512026-08-26Jan MidtgaardMerge pull request #30564 from paurkedal/release-mariadb-v2.1.0
36a881307c2026-08-26Jan MidtgaardMerge pull request #30560 from Camshaft54/opam-publish-camelot.2.1.0
77d0b79daa2026-08-26Jan MidtgaardMerge pull request #30552 from dinosaure/release-mkernel-v0.0.4
0bede5595c2026-08-26Dorian LesbreRelease patricia-tree v0.15.0
92f91658522026-08-26Matthieu SozeauUpdate packages/coq/coq.9.2.0/opam
2b034671632026-08-26Matthieu SozeauAdd a coq.9.2.0 compatibility package
1d1fcf597a2026-08-26Petter A. Urkedal[new release] mariadb (2.1.0)
6fd307d3332026-08-26Calascibetta RomainAdd constraints on mnet packages with the new version of mkernel.0.0.4
527e05a8032026-08-26Cameron ShawPackage camelot.2.1.0
a4aaee8f932026-08-25KakaduRevert changes in qrencode.0.2. Add version qrencode.0.2-1
a58337fcc42026-08-14KakaduRework qrencode 0.2 to make CI more green
4db25ff85e2026-08-25Calascibetta Romain[new release] mkernel (0.0.4)