Update `primitive` and `vector` packages
authorHerbert Valerio Riedel <hvr@gnu.org>
Thu, 26 Sep 2013 09:58:25 +0000 (11:58 +0200)
committerHerbert Valerio Riedel <hvr@gnu.org>
Thu, 26 Sep 2013 10:03:11 +0000 (12:03 +0200)
commit5e2f145a3737b8ff81445ffbe3dd72d8985d608e
tree6b8d147dc34f49ae80f55fd047f64ae9f3202b78
parent94ab5d2984514f92dd919fbf3611a07d32105546
Update `primitive` and `vector` packages

 - `primitive` is updated to upstream's HEAD which is essentially
   `primitive-0.5.1.0`, plus a core-lint-error workaround for #8355 and
   some minor cleanups.

 - `vector` is updated to upstreams `vector-0.10.9.1` release

Note: The upstream repo location has changed to GitHub,
      hence the update in the `packages` file

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
libraries/primitive
libraries/vector
packages