Revert "extra/linux-olpc-xo1: 5.7.11.arch1 -> 5.7.12.arch1" - packages

diff options

author	Erich Eckner <git@eckner.net>	2020-08-07 10:48:30 +0200
committer	Erich Eckner <git@eckner.net>	2020-08-07 10:48:45 +0200
commit	14a049f34244c8faef157ad0a777b687bdb61cb0 (patch)
tree	931e1b1e5378f9810d83f2bb434f003d8328a712 /extra/ocaml-integers
parent	07c4f1f465fd59017491a31e34fa59a968f7f92b (diff)

Revert "extra/linux-olpc-xo1: 5.7.11.arch1 -> 5.7.12.arch1"

This reverts commit ea3fa7d7e779f9f9aec9d1f143431d9548ea79bc.

Diffstat (limited to 'extra/ocaml-integers')

0 files changed, 0 insertions, 0 deletions