@@ -662,7 +662,7 @@ FMT_UPG Format upgrade done
662
662
RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
663
663
RSTATE Cache found
664
664
STATE LOAD-SWITCH-STATE @ sw-sys-comp
665
- STATE Inferred invariant: from base packages { i-am-sys-compiler.1 }, (roots { i-am-sys-compiler.1 }) => ["i-am-sys-compiler"]
665
+ STATE Inferred invariant: from base packages { i-am-sys-compiler.1 }, (roots { i-am-sys-compiler.1 }) => ["i-am-sys-compiler" {= "1"} ]
666
666
STATE Switch state loaded in 0.000s
667
667
# Packages matching: installed
668
668
# Name # Installed # Synopsis
@@ -679,7 +679,7 @@ RSTATE Cache found
679
679
STATE LOAD-SWITCH-STATE @ sw-comp
680
680
STATE Definition missing for installed package i-am-compiler.2, copying from repo
681
681
STATE Definition missing for installed package i-am-package.2, copying from repo
682
- STATE Inferred invariant: from base packages { i-am-compiler.2 }, (roots { i-am-compiler.2 }) => ["i-am-compiler" {> = "2"}]
682
+ STATE Inferred invariant: from base packages { i-am-compiler.2 }, (roots { i-am-compiler.2 }) => ["i-am-compiler" {= "2"}]
683
683
STATE Switch state loaded in 0.000s
684
684
STATE Detected changed packages (marked for reinstall): {}
685
685
The following actions will be performed:
@@ -716,7 +716,7 @@ opam-version: "2.0"
716
716
repositories: "default"
717
717
switch: "sw-comp"
718
718
### opam-cat $OPAMROOT/sw-comp/.opam-switch/switch-config
719
- invariant: ["i-am-compiler" {> = "2"}]
719
+ invariant: ["i-am-compiler" {= "2"}]
720
720
opam-version: "2.0"
721
721
synopsis: "switch with compiler"
722
722
paths {
@@ -740,7 +740,7 @@ FMT_UPG Format upgrade done
740
740
RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
741
741
RSTATE Cache found
742
742
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
743
- STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
743
+ STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"} ]
744
744
STATE Switch state loaded in 0.000s
745
745
# Packages matching: installed
746
746
# Name # Installed # Synopsis
@@ -755,7 +755,7 @@ RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
755
755
RSTATE Cache found
756
756
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
757
757
STATE Definition missing for installed package i-am-sys-compiler.2, copying from repo
758
- STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
758
+ STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"} ]
759
759
STATE Switch state loaded in 0.000s
760
760
STATE Detected changed packages (marked for reinstall): {}
761
761
The following actions will be performed:
@@ -789,7 +789,7 @@ opam-version: "2.0"
789
789
repositories: "default"
790
790
switch: "sw-sys-comp"
791
791
### opam-cat _opam/.opam-switch/switch-config
792
- invariant: ["i-am-sys-compiler"]
792
+ invariant: ["i-am-sys-compiler" {= "2"} ]
793
793
opam-root: "${BASEDIR}/OPAM"
794
794
opam-version: "2.0"
795
795
synopsis: "local switch"
@@ -815,7 +815,7 @@ FMT_UPG Format upgrade done
815
815
RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
816
816
RSTATE Cache found
817
817
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
818
- STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
818
+ STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"} ]
819
819
STATE Switch state loaded in 0.000s
820
820
# Packages matching: installed
821
821
# Name # Installed # Synopsis
@@ -829,7 +829,7 @@ RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
829
829
RSTATE Cache found
830
830
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
831
831
STATE Definition missing for installed package i-am-sys-compiler.2, copying from repo
832
- STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
832
+ STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"} ]
833
833
STATE Switch state loaded in 0.000s
834
834
STATE Detected changed packages (marked for reinstall): {}
835
835
The following actions will be performed:
@@ -863,7 +863,7 @@ opam-version: "2.0"
863
863
repositories: "default"
864
864
switch: "sw-sys-comp"
865
865
### opam-cat _opam/.opam-switch/switch-config
866
- invariant: ["i-am-sys-compiler"]
866
+ invariant: ["i-am-sys-compiler" {= "2"} ]
867
867
opam-root: "${BASEDIR}/OPAM"
868
868
opam-version: "2.0"
869
869
synopsis: "local switch"
@@ -886,7 +886,7 @@ GSTATE LOAD-GLOBAL-STATE @ ${BASEDIR}/OPAM
886
886
RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
887
887
RSTATE Cache found
888
888
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
889
- STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
889
+ STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"} ]
890
890
STATE Switch state loaded in 0.000s
891
891
# Packages matching: installed
892
892
# Name # Installed # Synopsis
@@ -897,7 +897,7 @@ GSTATE LOAD-GLOBAL-STATE @ ${BASEDIR}/OPAM
897
897
RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
898
898
RSTATE Cache found
899
899
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
900
- STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
900
+ STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"} ]
901
901
STATE Switch state loaded in 0.000s
902
902
STATE Detected changed packages (marked for reinstall): {}
903
903
The following actions will be performed:
@@ -925,7 +925,7 @@ opam-version: "2.0"
925
925
repositories: "default"
926
926
switch: "sw-sys-comp"
927
927
### opam-cat _opam/.opam-switch/switch-config
928
- invariant: ["i-am-sys-compiler"]
928
+ invariant: ["i-am-sys-compiler" {= "2"} ]
929
929
opam-root: "${BASEDIR}/OPAM"
930
930
opam-version: "2.0"
931
931
synopsis: "local switch"
0 commit comments