fix dino build

externals/patches/fix-compile-new-vala-c.diff

@@ -0,0 +1,16 @@
+diff --git a/plugins/gpgme-vala/vapi/gpgme_public.vapi b/plugins/gpgme-vala/vapi/gpgme_public.vapi
+index bcf12569..b32efd03 100644
+--- a/plugins/gpgme-vala/vapi/gpgme_public.vapi
++++ b/plugins/gpgme-vala/vapi/gpgme_public.vapi
+@@ -22,9 +22,9 @@ public class Key {
+     public string issuer_name;
+     public string chain_id;
+     public Validity owner_trust;
+-    [CCode(array_null_terminated = true)]
++    [CCode(array_length = false, array_null_terminated = true)]
+     public SubKey[] subkeys;
+-    [CCode(array_null_terminated = true)]
++    [CCode(array_length = false, array_null_terminated = true)]
+     public UserID[] uids;
+     public KeylistMode keylist_mode;
+     // public string fpr; // requires gpgme >= 1.7.0

sets/packages.nix

@@ -93,7 +93,10 @@
       yubikey-manager
 
       # GUI tools
-      dino
+      # TODO: temporary nixpkgs fix
+      (dino.overrideAttrs (old: {
+        patches = [ ../externals/patches/fix-compile-new-vala-c.diff ];
+      }))
       evince
       gimp
       gnome3.eog