diff options
| author | Dan Frumin <dfrumin@cs.ru.nl> | 2019-05-23 18:58:02 +0200 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-05-26 10:22:05 +0200 |
| commit | 414f545ee6f541d3b46839663b01f048fe812b76 (patch) | |
| tree | 4dc34fed12ec76a8bf42a4a2808d1e4aa1052dfe /Makefile.am | |
| parent | 9c11ba9282d37d7a6790e3a6f9bbe273d51a882a (diff) | |
| download | patches-414f545ee6f541d3b46839663b01f048fe812b76.tar patches-414f545ee6f541d3b46839663b01f048fe812b76.tar.gz | |
gnu: coq-equations: Update to 1.2.
Signed-off-by: Marius Bakke <mbakke@fastmail.com>
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions