migration to source archives

Crates without maintainer or pending migration remain in /orphaned
GitHub URLs rely on the default tarballs that at some point will
have to be released with uploaded binaries (with `alr publish` support).

orphaned/pr/pragmarc.toml

@@ -0,0 +1,24 @@
+[general]
+description = "PragmAda Reusable Components (PragmARCs)"
+licenses = ["GMGPL 2.0"]
+authors = ["Jeffrey R. Carter"]
+website = "https://github.com/jrcarter/PragmARC, https://pragmada.x10hosting.com/ "
+maintainers = ["alejandro@mosteo.com"]
+
+executables = ["compile_all"]
+
+['2017.2007.0']
+origin = "git+https://github.com/alire-project/PragmARC.git@db6c1730fe825f8303c60b48f82db08bd408588d"
+notes = "ISO/IEC 8652:2007 version"
+
+    ['2017.2007.0'.available.'case(compiler)']
+    'gnat-community-2018' = false
+    '...' = true
+
+['2011.1995.0']
+origin = "git+https://github.com/alire-project/PragmARC.git@34b0e12b5f9aea63408c94cc48ba7a16687c8d76"
+notes = "Ada 95 version"
+
+    ['2011.1995.0'.available.'case(compiler)']
+    'gnat-community-2018' = false
+    '...' = true