Package: opam-switch-mode
Fetcher: github
Source:  https://github.com/ProofGeneral/opam-switch-mode.git

Updating /mnt/store/melpa/working/opam-switch-mode/
Checking out 1069e56a662f23ea09d4e05611bdedeb99257012
Copying files (->) and directories (=>)
  from /mnt/store/melpa/working/opam-switch-mode/
  to /tmp/opam-switch-modetyiMeK/opam-switch-mode-20230802.917
    opam-switch-mode.el -> opam-switch-mode.el
Created opam-switch-mode-20230802.917.tar containing:
  opam-switch-mode-20230802.917/
  opam-switch-mode-20230802.917/opam-switch-mode-pkg.el
  opam-switch-mode-20230802.917/opam-switch-mode.el
 ✓ Success:
  2024-05-01T21:45:47+0000  opam-switch-mode-20230802.917.entry
  2024-05-01T21:45:47+0000  opam-switch-mode-20230802.917.tar
Built opam-switch-mode in 4.428s, finished at 2024-05-01T21:45:49+0000