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

Pakiet wirtualny: libghc-copilot-theorem-dev-4.5-1ea3c

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-1ea3c

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