diff options
| author | Petar Petrov <ppetrov@paju.oulu.fi> | 2013-10-30 14:33:47 -0500 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2013-10-30 14:33:47 -0500 |
| commit | f9e6fdc6f1f6210d892457fd12545df86a078fbe (patch) | |
| tree | af993f05a58aba45be4244ffe7072e446935c6a1 /academic/coq | |
| parent | d21ec588133eb46fd0b961161a1d3dc7570f4240 (diff) | |
| download | slackbuilds-f9e6fdc6f1f6210d892457fd12545df86a078fbe.tar.gz | |
academic/staden: Fixed links to tcl and tk sources for 14.1
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
Diffstat (limited to 'academic/coq')
0 files changed, 0 insertions, 0 deletions