@@ -292,7 +292,6 @@ Fatal error: Invalid character '/' in package version "./nip2"
292
292
# Return code 5 #
293
293
### : none - virtual
294
294
### opam pin add no-url 1 --kind none
295
- no-url is now pinned locally (version 1)
296
295
297
296
The following actions will be performed:
298
297
=== install 1 package
@@ -312,7 +311,6 @@ The following actions will be performed:
312
311
[NOTE] Pinning command successful, but your installed packages may be out of sync.
313
312
# Return code 31 #
314
313
### opam pin add no-url2 1 --kind none
315
- no-url2 is now pinned locally (version 1)
316
314
317
315
The following actions will be performed:
318
316
=== install 1 package
@@ -755,7 +753,6 @@ Done.
755
753
### sh add-pin.sh nip-mixed.dev3
756
754
### opam pin nip-mixed
757
755
[NOTE] Package nip-mixed is already pinned to file://${BASEDIR}/nip-mixed (version dev2).
758
- nip-mixed is now pinned to file://${BASEDIR}/nip-mixed (version dev3)
759
756
760
757
The following actions will be performed:
761
758
=== upgrade 1 package
@@ -785,7 +782,6 @@ Done.
785
782
"add nip-mixed.dev4 package"
786
783
### opam pin nip-mixed
787
784
[NOTE] Package nip-mixed is already pinned to git+file://${BASEDIR}/nip-mixed#master (version dev4).
788
- nip-mixed is now pinned to git+file://${BASEDIR}/nip-mixed#master (version dev1)
789
785
790
786
The following actions will be performed:
791
787
=== downgrade 1 package
@@ -819,7 +815,6 @@ Done.
819
815
dev1
820
816
### sh add-pin.sh nip-of.dev2 git
821
817
### opam install ./nip-of
822
- nip-of is now pinned to git+file://${BASEDIR}/nip-of#master (version dev2)
823
818
[nip-of.dev2] synchronised (git+file://${BASEDIR}/nip-of#master)
824
819
The following actions will be performed:
825
820
=== upgrade 1 package
836
831
### git -C ./nip-of commit -qm "add install file"
837
832
### opam pin ./nip-of
838
833
[NOTE] Package nip-of is already pinned to git+file://${BASEDIR}/nip-of#master (version dev2).
839
- nip-of is now pinned to git+file://${BASEDIR}/nip-of#master (version dev3)
840
834
841
835
The following actions will be performed:
842
836
=== upgrade 1 package
@@ -868,7 +862,6 @@ Done.
868
862
dev1
869
863
### sh add-pin.sh nip-fo.dev2 git
870
864
### opam install ./nip-fo
871
- nip-fo is now pinned to git+file://${BASEDIR}/nip-fo#master (version dev2)
872
865
[nip-fo.dev2] synchronised (git+file://${BASEDIR}/nip-fo#master)
873
866
The following actions will be performed:
874
867
=== upgrade 1 package
884
877
### git -C ./nip-fo add nip-fo.dev3.t
885
878
### git -C ./nip-fo commit -qm "add install file"
886
879
### opam install ./nip-fo
887
- nip-fo is now pinned to git+file://${BASEDIR}/nip-fo#master (version dev3)
888
880
[NOTE] Ignoring uncommitted changes in ${BASEDIR}/nip-fo (`--working-dir' not specified or specified with no argument).
889
881
[nip-fo.dev3] synchronised (git+file://${BASEDIR}/nip-fo#master)
890
882
The following actions will be performed:
@@ -1017,7 +1009,6 @@ The following additional pinnings are required by dep1.dev:
1017
1009
Pin and install them? [Y/n] y
1018
1010
[dep2.2] synchronised (no changes)
1019
1011
dep2 is now pinned to file://${BASEDIR}/dep2 (version 2)
1020
- dep1 is now pinned to file://${BASEDIR}/dep1 (version dev)
1021
1012
1022
1013
The following actions will be performed:
1023
1014
=== recompile 1 package
@@ -1110,7 +1101,6 @@ opam-version: "2.0"
1110
1101
depends: "dependency" {= "1"}
1111
1102
### ::: behaviour when the package is not pinned
1112
1103
### opam install ./pin-change
1113
- pin-change is now pinned to git+file://${BASEDIR}/pin-change#master (version dev)
1114
1104
[NOTE] Ignoring uncommitted changes in ${BASEDIR}/pin-change (`--working-dir' not specified or specified with no argument).
1115
1105
[pin-change.dev] synchronised (no changes)
1116
1106
The following actions will be performed:
0 commit comments