Instead of using ignored list for camlp4 packages, remove the sources.
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 18 Jan 2020 13:19:56 +0000 (13:19 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 18 Jan 2020 13:19:56 +0000 (13:19 +0000)
commitc64e1daa9f1936a8a0dce15da7944e11d701b6c4
tree9fc71a02954c88a8af0416857e12a64f0c4f1929
parent3a10c0c2da969efc3b9b3aa153aac7dcc673c0fe
Instead of using ignored list for camlp4 packages, remove the sources.
Goalfile