View difference between Paste ID: HFzMucJ8 and 43u03GNN
SHOW: | | - or go back to the newest paste.
1
# OPAM config report
2
# opam-version    1.2.2 
3
# self-upgrade    no
4
# os              linux
5
# external-solver no
6
# criteria        -removed,-notuptodate,-changed
7
# jobs            4
8
# repositories    1* (http)
9
# pinned          1 (path)
10
# current-switch  4.02.1
11
# last-update     2015-08-14 14:21