| tag name | upstream/2.4 (b5bd19f942f1357f58ff79d51ae0a8adfa23773c) |
| tag date | 2015-02-05 15:13:55 -0500 |
| tagged by |  Benjamin Barenblat <bbaren@mit.edu> |
| tagged object | commit 2fce11525d... |
Upstream version 2.4
 |
index : debian-compcert | |
| Debian packaging for CompCert |
| summaryrefslogtreecommitdiff |