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

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

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-78629

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