Skip to content

History / Dev Meeting 2020.10.23 (opam2nix)

Revisions

  • Updated Dev Meeting 2020.10.23 (opam2nix) (markdown)

    @rjbou rjbou committed Oct 26, 2020
    c5ef58a

  • Updated Dev Meeting 2020.10.23 (opam2nix) (markdown)

    @samoht samoht committed Oct 23, 2020
    6b893e2

  • Updated Dev Meeting 2020.10.23 (opam2nix) (markdown)

    @samoht samoht committed Oct 23, 2020
    e01b913

  • Created Dev Meeting 2020.10.23 (opam2nix) (markdown)

    @avsm avsm committed Oct 23, 2020
    a2440b8