diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2021-04-18 22:55:40 +0200 |
|---|---|---|
| committer | Matteo Bernardini <ponce@slackbuilds.org> | 2021-04-18 22:55:40 +0200 |
| commit | d5e18b555b8f571bd9da44e7bed0be1352aa4e2e (patch) | |
| tree | baf01b43e46f662563e15a79a732a9f7d34224d6 /academic/coq | |
| parent | aeec64bd21e03da040838e401fc44de705aeb831 (diff) | |
| download | slackbuilds-d5e18b555b8f571bd9da44e7bed0be1352aa4e2e.tar.xz | |
academic/fet: Fixed dep info
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions