Registry
Download a spec package
The package archive (.tgz: Lean sources + manifest). On AWS the API answers with a 302 redirect to a pre-signed S3 URL. Packages are immutable and cached for a year.
GET
/
v1
/
specs
/
{org}
/
{model}
/
{version}
/
package
Download a spec package
curl --request GET \
--url https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/packageimport requests
url = "https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package"
response = requests.get(url)
print(response.text)const options = {method: 'GET'};
fetch('https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package', options)
.then(res => res.json())
.then(res => console.log(res))
.catch(err => console.error(err));<?php
$curl = curl_init();
curl_setopt_array($curl, [
CURLOPT_URL => "https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package",
CURLOPT_RETURNTRANSFER => true,
CURLOPT_ENCODING => "",
CURLOPT_MAXREDIRS => 10,
CURLOPT_TIMEOUT => 30,
CURLOPT_HTTP_VERSION => CURL_HTTP_VERSION_1_1,
CURLOPT_CUSTOMREQUEST => "GET",
]);
$response = curl_exec($curl);
$err = curl_error($curl);
curl_close($curl);
if ($err) {
echo "cURL Error #:" . $err;
} else {
echo $response;
}package main
import (
"fmt"
"net/http"
"io"
)
func main() {
url := "https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package"
req, _ := http.NewRequest("GET", url, nil)
res, _ := http.DefaultClient.Do(req)
defer res.Body.Close()
body, _ := io.ReadAll(res.Body)
fmt.Println(string(body))
}HttpResponse<String> response = Unirest.get("https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package")
.asString();require 'uri'
require 'net/http'
url = URI("https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package")
http = Net::HTTP.new(url.host, url.port)
http.use_ssl = true
request = Net::HTTP::Get.new(url)
response = http.request(request)
puts response.read_body"<string>"{
"detail": "<string>"
}⌘I
Download a spec package
curl --request GET \
--url https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/packageimport requests
url = "https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package"
response = requests.get(url)
print(response.text)const options = {method: 'GET'};
fetch('https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package', options)
.then(res => res.json())
.then(res => console.log(res))
.catch(err => console.error(err));<?php
$curl = curl_init();
curl_setopt_array($curl, [
CURLOPT_URL => "https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package",
CURLOPT_RETURNTRANSFER => true,
CURLOPT_ENCODING => "",
CURLOPT_MAXREDIRS => 10,
CURLOPT_TIMEOUT => 30,
CURLOPT_HTTP_VERSION => CURL_HTTP_VERSION_1_1,
CURLOPT_CUSTOMREQUEST => "GET",
]);
$response = curl_exec($curl);
$err = curl_error($curl);
curl_close($curl);
if ($err) {
echo "cURL Error #:" . $err;
} else {
echo $response;
}package main
import (
"fmt"
"net/http"
"io"
)
func main() {
url := "https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package"
req, _ := http.NewRequest("GET", url, nil)
res, _ := http.DefaultClient.Do(req)
defer res.Body.Close()
body, _ := io.ReadAll(res.Body)
fmt.Println(string(body))
}HttpResponse<String> response = Unirest.get("https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package")
.asString();require 'uri'
require 'net/http'
url = URI("https://hub.theformalera.com/v1/specs/{org}/{model}/{version}/package")
http = Net::HTTP.new(url.host, url.port)
http.use_ssl = true
request = Net::HTTP::Get.new(url)
response = http.request(request)
puts response.read_body"<string>"{
"detail": "<string>"
}