Reverse Dependencies of qtrio

The following projects have a declared dependency on qtrio:

• deaduction — Graphical proof assistant for learning proofs
• pulicast — Publish Listen Multicast