Feed for soimort@aur in AUR

This feed in also available in atomAtom feed format

Date (UTC) Event
Package ocaml:menhir version 20181113 is up to date
Package ocaml:menhir version 20181026 is outdated by 20181113
Package ocaml:menhir version 20181026 is up to date
Package ocaml:menhir version 20181006 is up to date
Package ocaml:menhir version 20181005 is up to date
Package acl2 version 8.1 is up to date
Package acl2 version 8.0 is outdated by 8.1
Package ocaml:menhir version 20180905 is up to date
Package mlkit version 4.3.18 is up to date
Package mlkit version 4.3.12 is outdated by 4.3.15
Package prover9 version 2009.11A is up to date
Package leiningen2 is no longer maintained by soimort@aur and/or was removed from AUR
Package ocaml:menhir version 20180530 is up to date
Package polyml is no longer maintained by soimort@aur and/or was removed from AUR
Package ocaml:ppx-deriving-yojson was added to AUR and/or assigned to soimort@aur
Package ocaml:ppxfind was added to AUR and/or assigned to soimort@aur
Package fstar version 0.9.6.0 is up to date
Package ocaml:ppx-derivers was added to AUR and/or assigned to soimort@aur
Package ocaml:ppx-deriving was added to AUR and/or assigned to soimort@aur
Package ocaml:process was added to AUR and/or assigned to soimort@aur