diff --git a/pkgs/development/interpreters/acl2/default.nix b/pkgs/development/interpreters/acl2/default.nix
index 959cd50aae6e..6cad083ac853 100644
--- a/pkgs/development/interpreters/acl2/default.nix
+++ b/pkgs/development/interpreters/acl2/default.nix
@@ -35,7 +35,11 @@ rec {
   name = "acl2-" + version;
   meta = {
     description = "An interpreter and a prover for a Lisp dialect";
-    maintainers = [
+    maintainers = with a.lib.maintainers; 
+    [
+      raskin
     ];
+    platforms = with a.lib.platforms;
+      linux;
   };
 }