# Copyright (c) 2015 The Robigalia Project Developers
# Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
# http://www.apache.org/licenses/LICENSE-2.0> or the MIT license <LICENSE-MIT
# or http://opensource.org/licenses/MIT>, at your option. All files in the
# project carrying such notice may not be copied, modified, or distributed
# except according to those terms.
[]
= "sel4-sys"
= "0.0.14"
= ["Corey Richardson <corey@octayn.net>"]
= "Rust interface to the seL4 kernel"
= "https://doc.robigalia.org/sel4_sys"
= "https://gitlab.com/robigalia/sel4-sys"
= "README.md"
= "MIT/Apache-2.0"
= "build.rs"
[]
= []
= []
= []
= []
[]
= "lib.rs"
[]
= "0.1.4"
= "0.3.4"