Packages with the ffi use flag

dev-lang / php : The PHP language runtime engine

  • Add foreign function interface (ffi extension) support

sci-mathematics / agda-stdlib : Agda standard library

  • Install agda-lib-ffi for compilation using the MAlonzo backend