diff options
| author | B. Watson <yalhcru@gmail.com> | 2020-10-11 16:16:20 -0400 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-10-17 09:36:45 +0700 |
| commit | 65fb09378461b56b0415b7af14d92f8af535bca6 (patch) | |
| tree | 14e7bff92e93886fdb0134d3e3d20739f53b9b59 /academic/coq | |
| parent | e8fc9fdabb05a9ef7e8af08b32c1dba88be610cd (diff) | |
| download | slackbuilds-65fb09378461b56b0415b7af14d92f8af535bca6.tar.gz | |
academic/free42: Fix README.
Signed-off-by: B. Watson <yalhcru@gmail.com>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions