Custom Query (1145 matches)
Results (16 - 18 of 1145)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #1395 | fixed | Add coq, coqide and proofgeneral for 6.820 | jdreed | |
| #513 | fixed | Add fortune-mod to -extra-software-nox | jdreed | |
| Description |
I use this in documentation as an example of a command which generates output, but allows users not to focus too much on the content of the output generated. And bsdgames is part of -extra-software-nox already, so this shouldn't be controversial. |
|||
| #1118 | fixed | Add graphviz and xdot to thirdparty | jdreed | |
Note: See TracQuery
for help on using queries.
