8e79f2ee9c
Based on Nekogram. Key additions: - Rebrand to FoxiGram (app name, APK name, applicationId com.foxigram.app) - Embedded Xray (VLESS+Reality) proxy client via JNI libxray.so - Bundled hidden one-tap proxies (LTE + WiFi), read-only in UI - Auto-restore proxy on restart, rebind to active network (LTE/WiFi) - Server credentials externalized to git-ignored XrayServers.java (+ template) - libxray Go source included; compiled .so, keystore, google-services.json ignored
13 lines
430 B
Text
13 lines
430 B
Text
name: "fiat"
|
|
description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives."
|
|
|
|
third_party {
|
|
url {
|
|
type: GIT
|
|
value: "https://github.com/mit-plv/fiat-crypto"
|
|
}
|
|
version: "6ccc6638716d4632304baf1adbb5c47c3a12ea6f"
|
|
last_upgrade_date { year: 2022 month: 3 day: 22 }
|
|
|
|
local_modifications: "Files renamed to .h for BoringSSL integration. LICENSE file is LICENSE-MIT from upstream."
|
|
}
|