Skip to content
Snippets Groups Projects
Select Git revision
0 results
Blame Permalink
  • Ralf Jung's avatar
    653c67ae
    Re-do opam-pins · 653c67ae
    Ralf Jung authored 
    We now include the git commit in the version number seen by opam.  As a
consequence, opam can handle the reinstallation tracking for us, so everything
gets much simpler.
    653c67ae
    History
    Re-do opam-pins
    Ralf Jung authored 
    We now include the git commit in the version number seen by opam.  As a
consequence, opam can handle the reinstallation tracking for us, so everything
gets much simpler.