Libyan shooting down of F-111F in 1986 raid

Hi,

During Operation El Dorado Canyon in 1986 a single F-111F was shot down over Gulf of Sidra.

What weapons system was employed to shoot it down?

SA-2, SA-3, SA-5, Crotale?