Commits · ac0565df32416866454d729b8f68a0e6933486e7 · David Swasey / coq-stdpp

22 Aug, 2017 1 commit
- update opam file to express that we support 8.7 · ac0565df
  Ralf Jung authored Aug 22, 2017
  
  ac0565df
14 Feb, 2017 2 commits
- opam: fix uninstall · b8ffa59a
  Ralf Jung authored Feb 14, 2017
  
  b8ffa59a
- add homepage to opam file · af37201f
  Ralf Jung authored Feb 14, 2017
  
  af37201f
13 Feb, 2017 1 commit
- edit opam file · 92bb54a9
  Ralf Jung authored Feb 13, 2017
  
  92bb54a9
07 Feb, 2017 1 commit
- update build system, CI and README · 2d8a4eb4
  Ralf Jung authored Feb 06, 2017
  
  2d8a4eb4
03 Feb, 2017 1 commit
- add opam and CI stuff (with preliminary names) · 63f64743
  Ralf Jung authored Feb 01, 2017
  
  63f64743