Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • masters/rusthornbelt protected
  • masters/weak_mem protected
  • ci/ike/frame_exist
  • ralf/prop-level-wand
  • msammler/new-contractive
  • xldenis/pldi-submission
  • xldenis/smallvec-push
  • refmut_sync
  • robbert/sprop
  • ci/pinning
  • xldenis/option
  • robbert/Z_of_nat
  • xldenis/type-sum
  • yusuke/tlist_for_prophecy
  • msammler/rustverify_talk
  • gpirlea/pin_semantic
  • rusthornbelt
  • ci/janno/strict-tc-resolution
  • step_indexing_controlled_by_ghosts
  • RBrlx-POPL20-artifact
  • popl18
  • popl18-aec
23 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.