add packages from theba

pkgs/mutrace.nix

@@ -0,0 +1,21 @@
+with import <nixpkgs> {};
+stdenv.mkDerivation rec {
+  name = "mutrace-${version}";
+  version = "20150510";
+
+  src = fetchFromGitHub {
+    owner = "dbpercona";
+    repo = "mutrace";
+    rev = "3f71fc9752f6b5c673f9fd5d2dd30ac9af1b045d";
+    sha256 = "0h1vsfbvm70mw4i7dyai9c8i5yfjyinqd18is7cmjn7l6my532qi";
+  };
+
+  nativeBuildInputs = [ autoreconfHook ];
+  buildInputs = [ binutils libiberty ];
+
+  CFLAGS = [ "-DPACKAGE" "-I${libiberty}/include/libiberty" ];
+
+  postInstall = ''
+    sed -i "s,libm,$out/lib/\\0," $out/bin/*
+  '';
+}

pkgs/ubcsat.nix

@@ -0,0 +1,16 @@
+with import <nixpkgs> {};
+stdenv.mkDerivation rec {
+  name = "ubcsat-${version}";
+  version = "1.2beta";
+
+  src = fetchFromGitHub {
+    owner = "gebner";
+    repo = "ubcsat";
+    rev = "4cb85e4ae9278746d6ee371dd676daafdc2efd59";
+    sha256 = "0bnakj4w0p4q4dzppmw06vjq4ysd8d50wqfmwn8k6frypgsdnbw7";
+  };
+
+  installPhase = ''
+    install -Dm0755 ubcsat $out/bin/ubcsat
+  '';
+}