Add myself as a maintainer
svn path=/nixpkgs/trunk/; revision=19594
This commit is contained in:
parent
247d4ae098
commit
e70276079f
@ -35,7 +35,11 @@ rec {
|
|||||||
name = "acl2-" + version;
|
name = "acl2-" + version;
|
||||||
meta = {
|
meta = {
|
||||||
description = "An interpreter and a prover for a Lisp dialect";
|
description = "An interpreter and a prover for a Lisp dialect";
|
||||||
maintainers = [
|
maintainers = with a.lib.maintainers;
|
||||||
|
[
|
||||||
|
raskin
|
||||||
];
|
];
|
||||||
|
platforms = with a.lib.platforms;
|
||||||
|
linux;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user