~jgross-h/coq/v8.5-packaging

  • Committer: Jason Gross
  • Date: 2021-02-03 14:12:33 UTC
  • Revision ID: git-v1:bfdf06a183a091c3a816bc62de57e05c2c3e02a7
Require num on newer OCaml
Filename Latest Rev Last Changed Committer Comment Size
..
common 187 14 years ago Stephane Glondu Merge commit 'upstream/8.2.pl1+dfsg' Diff
stdlib 49 18 years ago Samuel Mimram Merge commit 'upstream/8.0pl3+8.1alpha' into 8.0pl Diff
LICENSE 1.1.12 15 years ago Stephane Glondu Imported Upstream version 8.2~beta4+dfsg 31.6 KB Diff Download File
Makefile.rt 1.1.3 18 years ago Samuel Mimram Imported Upstream version 8.0pl3+8.1alpha 1.7 KB Diff Download File