» Ubuntu » Pakiety » questing (25.10) » virtual » libghc-copilot-theorem-dev-4.5-23399
questing  ]

Pakiet wirtualny: libghc-copilot-theorem-dev-4.5-23399

Jest to pakiet wirtualny. Proszę zapoznać się z polityką Debiana aby uzyskać definicję pakietu wirtualnego.

Pakiety udostępniające libghc-copilot-theorem-dev-4.5-23399

libghc-copilot-theorem-dev
k-induction for Copilot.