11 lines
191 B
Coq
11 lines
191 B
Coq
|
module aur
|
||
|
|
|
||
|
|
const aur_rpc_url = 'https://aur.archlinux.org/rpc/'
|
||
|
|
|
||
|
|
pub struct Package {
|
||
|
|
pub:
|
||
|
|
id u32 [json: ID]
|
||
|
|
name string [json: Name]
|
||
|
|
package_base_id u32 [json: PackageBaseID]
|
||
|
|
}
|